@gordon Oui mais j'ai la flemme. Et j'ai déjà eu ce problème avec ce BIOS dans une autre configuration...

( en gros, je bootais en legacy, j'installais Arch, et paf, la clef de bootait plus, sauf si j'allais chercher la clef dans le menu du Bios... Mais là, j'ai installé en UEFI, et j'arrive meme plus a booter en passant par le menu du Bios...)