Ajouter ou Modifier une Entrée de Menu de Démarrage
 

Pour cela, vous devez éditer manuellement /boot/grub2/custom.cfg ou bien utiliser le logiciel grub-customizer (disponible dans les dépots Mageia).