Le 24/02/2016 20:30, Pascal Hambourg a écrit : > Attention, boot*.efi n'est que le noyau de GRUB, il a besoin des modules > qui se trouvent dans /boot/grub pour avoir toutes ses fonctionnalités. ok, facile :-) il n'y aurait pas moyen depuis bootia386.efi de lancer directement la version 64 bits? je crois que je demande trop jdd