Merci, mais çà ne fait que modifier le menu Grub. Encore faut-il qu'il s'affiche au boot. C'est là mon problème. Le 03/04/2022 à 11:37, steve a écrit :
Salut, As-tu lancé en root : update-grub Normalement ça devrait suffire. Bon dimanche