GRUB: changer l'OS sélectionné par défaut : Support Debian mardi 9 décembre 2014 à 19:20 Liens d'un Parigot-Manchot 09/12/2014 Méthode sous Debian pour modifier Grub2.(Permalink)