Trouvé, c'est escape mais une fois "à l'intérieur", j'ai plusieurs choix. Il me propose f9 pour les options de boot, et après avoir appuyé sur f9, je choisis "Change Os boot machin..." (seul choix disponible avec annuler) et ça ma boot l'ordi normalement 