Merci beaucoup calisto06 d'avoir pris le temps de me répondre de façon aussi claire et documentée.
Malheureusement, cela a l'air plus compliqué que cela, je n'ai pas réussi à avancer.
Tout d'abord, le menu F12 n'était effectivement pas opérationnel par défaut ni même indiqué en bas à droite. J'avais réussi à l'activer sans peine dans le menu F2 sans même avoir à donner un mot de passe supervisor.
Le problème était que une seule ligne était présente au lieu de la liste habituelle (DD, CD, USB, ethernet....)
En faisant passer sur "enabled" les différentes options de boot de F2 , rien ne changeait dans F12.
J'ai donc mis un mot de passe supervisor et ai recommencé l'opération sans davantage de succès.
Luis