Problème résolu
Voilà ce que j'ai fait, en suivant ce sujet (
https://forums.linuxmint.com/viewtopic.php?t=384877).
1/ déconnexion physique de mon sda (celui qui contient la partition EFI)
2/ redémarrage avec une live-usb Mint
3/ avec Gparted
- enlever 100 Mb de ma partition Linux
- créer sur la place libérée une partition EFI, formatée en FAT32, avec drapeaux boot et esp
4/ redémarrer le PC avec une live-usb Boot-Repair :
- onglet Options principales : réinstaller GRUB / ne pas faire apparaître le menu de démarrage
- onglet Emplacement : sélectionner la partition EFI nouvellement créée
- onglet Options de GRUB : cocher "Purger GRUB avant de le réinstaller". Il y a toute une série de commandes à exécuter dans le terminal (voir le sujet plus haut), mais rien de bien compliqué. (A noter que j'ai fait une 1ère tentative sans purger GRUB, mais ça ne changeait rien à mon problème).
- Valider tout ça.
5/ Redémarrage du PC (sans la clé bien sûr

)
Plus de menu de démarrage, plus de dual-boot, juste ce que je voulais depuis longtemps. Youpi !!!
Ca m'a pris du temps (ça tombe bien, j'en ai !) et de l'énergie, ça m'a donné des sueurs froides, mais au bout du compte, quelle satisfaction.
J'ai bien aimé mettre les mains dans le cambouis et j'ai beaucoup appris sur le fonctionnement de Linux.
Merci à ceux qui se sont penchés sur mon problème.
Bonne continuation à vous
Bandung