Bonjour les amis 
J’ai deux distro sur mon vieux ordi …
Debian et une autre distro basé sur Debian …
Le problème est que l’autre distro apparais sous le même nom de Debian qui est en réalité ( RoboLinux basé sur Debian ) …
Comment faire ce changement dans le Grub ?
Merci à l’avance de votre aide … 
Modifie avec prudence: /boot/grub/grub.cfg
Bonjour kripteks,
Un gros Merci mon ami ,
cela a très bien fonctionné …
Résolu …
Mauvaise réponse.
Il est bien mentionné au début de grub.cfg : “ne pas éditer ce fichier manuellement”.
Ce fichier est généré automatiquement par update-grub et tes modifications manuelles seront écrasées notamment à la prochaine installation/mise à jour/suppression d’un noyau linux ou de grub.
Je pense qu’un chaînage avec le chargeur de l’autre distribution serait préférable.