Mauvaise idée. Il vaudrait mieux utiliser une des méthodes recommandées par le manuel d’installation de Debian.
Quelle image exactement as-tu utilisée ?
Comment vois-tu qu’il n’y a rien sur la clé pour booter en mode EFI ?
Le firmware UEFI de la machine est-il 32 bits ou 64 bits ? Logiquement il devrait être du même type que le système Windows installé, mais il serait plus sûr de vérifier directement, soit en regardant si le répertoire /EFI/boot de la partition système EFI contient un fichier bootia32.efi ou bootx64.efi, soit en essayant d’amorcer un support compatible EFI 32 bits et un autre compatible EFI 64 bits.
J’ai déjà été confronté à des machines de type netbook avec un firmware UEFI 32 bits (bien que dotées d’un processeur 64 bits) et donc incapable d’amorcer une image d’installation EFI 64 bits. Les images les plus universelles sont les multiarch i386+amd64, permettant de booter en mode BIOS, EFI 32 bits ou 64 bits, et d’installer un système 32 bits ou 64 bits.