Si si, il suffit juste de savoir lire...
2.6.1. GRUB
Le menu GRUB n'est plus affiché au démarrage, mis à part dans les systèmes dual-boot. Pour faire apparaître le menu GRUB, maintenez la touche Shift (MAJ) appuyée avant que le noyau ne soit chargé. (Cela fonctionne avec n'importe quelle touche, mais la touche Shift est celle qui présente le moins de risques.)