jdd a écrit : >>> il n'y aurait pas moyen depuis bootia32.efi de lancer directement la >>> version 64 bits? > > la version 64 bits de grub.efi A ma connaissance les versions 32 et 64 bits de l'UEFI et des exécutables ne sont pas compatibles.