Aide mémoire.
Installer LinuxMintDebianEdition sur un HP (où il y a un bug) et garder le double boot windows / linux
▻https://linuxfr.org/nodes/103119/comments/1557639
cd /boot/efi/EFI/Microsoft/Boot/
cp bootmgf.efi bootmgfb.efi
cp ../../linuxmint/grubx64.efi ./bootmfg.edi
vi /boot/grub/grub.cfg ( et renommer sur la ligne windows avec le nom bootmgfb.efi )