Redémarrage, et là surprise: l'UEFI (qui ressembleà un BIOS, beurk) ne propose même pas le disque dur comme option de boot.