Dernier message de la page précédente :
Il y a toujours un grub par distribution, c'est la dernière installée qui a un grub actifpour changer, il suffit de réinstaller grub sur celle que l'on souhaite voir reprendre la main sur le démarrage
j'ai un pc où il y a une dizaine de systèmes installés, une seule partition Efi, je me fiche de celle qui a le grub qui est actif, sauf si j'ai envie que ce soit celle qui a un theme grub plus agréable, quitte à mettre un autre en démarrage par défaut en modifiant GRUB_DEFAULT=0 dans /etc/default/grub