Le 25/02/2016 00:27, Pascal Hambourg a écrit : > jdanield 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 > > La version 64 bits de quoi ? > Si tu parles du noyau Linux, la réponse est oui. > la oui, je sais. jdd