passer vers Linux quand on est nulle
Ces machines ont souvent un processeur 64 bits mais un bios 32 bit, donc EFI 32 bits. C'est assez problématique... Pour ubuntu, il suffit d'ajouter le fichier uefi32 bits dans le bon dossier du CD d'installation (l'install à partir d'une clef usb permet cette modification de façon plus aisée).
Debian gère ça nativement, il suffit de télécharger l'ISO multiarch.