Hello !
Bon, c'est assez inutile vu que ça change uniquement le nom de la distribution dans le menu du grub, mais je me suis dit que c'était toujours bon à noter quelque part.
1) Aller dans /etc/default
cd /etc/default
2) Créer un répertoire grub.d
mkdir grub.d
3) Ouvrir un nouveau fichier appelé "50_nomdeladistrib.cfg"
sudo nano 50_nomdeladistrib.cfg
4) Copier-coller ceci à l'intérieur :
#! /bin/sh
set -e
if [ "${GRUB_DISTRIBUTOR}" = "Ubuntu" ] ; then
GRUB_DISTRIBUTOR="Nomdeladistrib"
fi
5) Enregistrer (ctrl-o) et reconstruire le grub
sudo update-grub
