(Core 2 3000 64 "gcc 4.1.2" -O2 -m64 -mtune=k8 => ça veut dire qu'on utilise des options de compilation pour Athlon 64 sur un Core 2... il n'y a pas d'options spécifiques pour les Core 2 sur GCC ? peut-être qu'avec le compilo d'Intel les résultats seraient différents, non ? le jeu 64 bits du Core 2 n'est pas exactement le même que celui de l'Athlon)