desc_fr=GRUB - Gestionnaire de démarrage