Une galère ! Il a fallu en venir aux mains.

Après une installation et un boot via le fichier EFI via le menu de démarrage, faire ceci :

# cd /boot/efi/EFI

# mv BOOT BOOT_bak

# cp -R debian BOOT

# cd BOOT

# mv shimx64.efi bootx64.efi

HP KO technique