Via un commentaire sur WDD:

• 01 Pourquoi l'installation est KO
• 02 Configuration du BIOS
• 03 Configuration du BOOT avant
• 04 Installer Linux Mint
• 05 grub option acpi
• 06 Réparer grub sans reboot
• 07 Réparer grub avec reboot
• 08 Terminer l'installation
• 09 Ajouter Windows dans grub
• 10 Configuration du BOOT après
• 11 Mise à jour de Linux grub
• 12 Mise à jour de Windows
• 13 Divers commandes de grub
  Via https://warriordudimanche.net/article1111/5dac319388f1d#c1111-14