Linux : front commun pour le 64 bits