Le TL; DR, ajouté dans l'édition: La question est: Comment puis-je faire en sorte que le BIOS préfère GRUB à Windows Boot Manager sur la même partition de démarrage UEFI? Le problème n'est pas avec Grub; Grub fait ce qu'il faut au démarrage du BIOS. Le problème n'est pas avec «le disque n'est pas...