GRUB_DEFAULT=saved GRUB_SAVEDEFAULT=true GRUB_TIMEOUT=0 # ou 1 si impossible de changer au boot