Quel fichier devez-vous modifier pour changer le délai d’attente du menu GRUB2 et l’entrée de démarrage par défaut ?