Je ne sais plus trop, mais il faut appuyer alternativement sur F1 et F2 ( comme cela, on est sûr de pas louper), rapidement, puis sur F9 pour faire un boot bios. C´est en tout cas ce que j´ai déjà fait l´année dernière. Après, clavier.
C´était un technicien hotline qui m´avait guidé, et même parfaitement.