gksudo gedit /etc/default/grubPuis faire la mise à jour du menugksudo gedit /etc/default/grubEditer le fichier de Grub