Une nuance à laquelle il faut faire attention - les instructions disent de vérifier si vous avez une partition de démarrage séparée, et si oui, faites sudo mount /dev/sd-- /mnt/boot. Je me suis embrouillé ici - j'avais bien une partition de démarrage qui n'était pas mon Linux, c'était ma partition de base (/sda0). J'ai donc exécuté cette commande, et j'ai fini par obtenir un menu Grub qui ne montrait que mon démarrage Windows. J'ai relancé la procédure sans faire le sudo mount /dev/sd-- /mnt/boot et cela a fonctionné à merveille - mon ancien menu Grub était de retour, avec toutes les options Linux ainsi que Windows. Les instructions ne font référence qu'à une partition de démarrage Linux séparée, et non au cas où votre partition de démarrage n'est pas Linux.