Donc, j'ai supprimé puis réinstallé Linux en choisissant "Autre chose", et en désignant la partition devant être utilisée pour le "/".
L'installation ne m'a pas demandé où placer le Grub, mais la bonne partition était clairement identifiée comme partition efi.
Cependant, en cherchant un peu plus loin, j'ai trouvé ce lien :
https://neosmart.net/wiki/easybcd/uefi/
D'après ce que je comprends, il est de plus en plus difficile de placer un dual boot à côté de Windows 10. Ce dernier semble bloquer la fonction, même dans les gestionnaires de BCD.
L'option 1 n'est pas envisageable. Vu le nombre de partitions principales, je dois rester en GPT.
L'option 2 n'est pas non plus envisageable sur du long terme.
J'ai donc tenté l'option 3 et suis passé par Linux et grub-customizer, mais je n'obtiens pas plus de résultats.
Quelqu'un saurait comment contourner les restrictions de Windows 10 ?