Bon, j'ai tenté un Boot-Repair.
Mais j'ai toujours un délai énorme avec écran noir entre le BIOS et GRUB.
Ce que j'ai fait :
- j'ai lancé un Live-CD que j'avais sous la main,
- j'ai passé les commandes suivantes (dans un terminal) :
sudo add-apt-repository ppa:yannubuntu/boot-repair
apt update
apt install -y boot-repair
boot-repair
- j'ai attendu le temps qu'il faut,
- j'ai obtenu le fichier texte Boot-Info,
- j'ai redémarré.
J'ai donc un fichier texte Boot-Info (suite à cette "réparation") pour qui sait l'exploiter.