bonjour ,
après avoir récupéré l'image Iso dual de 2015-06-01,
on ne peux pas finir l'installation Grub version EFI , car il manque /EFI/bootx64.efi.
le répertoire est vide dans la partie /boot/EFI , a moins que cela soit ailleurs.

le guide est donc lui aussi incomplet sur cette partie.

c'est ...