Sur un autre PC, j'ai 3 OS installés; mint 19.3; W10 et DEBBIE 4.
Lors d'une manip malencontreuse, j'ai perdu l'entrée LMDE dans GRUB, du coup je n'ai que les deux autres choix.
Pour démarrer sur LMDE4, je dois ouvrir le boot de l'ordi, et là j'ai la possibilité de lancer l'OS.
Là je constate que j'ai un autre GRUB qui me propose que W10 mais pas Mint 19.
Je vous retourne la commande os-prober qui voit LMDE4 mais mal écrite je pense.

Je souhaite lancer le GRUB de MINT 19 seulement.
Auriez-vous une idée pour remettre ce troisième OS dans GRUB, sachant que boot repair n'avait pas résolu le problème.
Merci bien.

