Ajouter ou Modifier une Entrée de Menu de DémarragePour cela, vous devez éditer manuellement /boot/grub2/custom.cfg ou bien
utiliser le logiciel grub-customizer (disponible dans les dépots Mageia).Pour en savoir plus, voir notre wiki https://wiki.mageia.org/en/Grub2-efi_and_Mageia-fr