Grub : comment modifier l'ordre de démarrage - malekal.com
4 gestionnaires de démarrage gratuits - Windows et Linux à double démarrage - Astuce Tech
bootloader GRUB : Changer le système de démarrage par défaut, Windows au lieu de Ubuntu - INFORMATIQUE:Astuces de A à Z
Grub : comment modifier l'ordre de démarrage - malekal.com
Boot : Régler l'ordre du boot du Legacy BIOS et UEFI pour démarrer sur une clé USB (bootable) ou un DVD (bootable) au lieu du disque dur - INFORMATIQUE:Astuces de A à
Comment changer l'ordre du boot avec GRUB - 01Script