Bonsoir, Le 15/05/2015 17:34, Pierre-Marie Lepage a écrit : > > Ah oui.. le Grub peut être remis à jour mais pas son menu.. Si on peut modifier le menu : http://monubuntu.com/html/ubuntu/42.intitule_grub_2.php > -- jp willm http://perso.orange.fr/willms/index.html