il a bien du S939.
marvinlerouge2 ta carte mère est équipée d'un chipset lowcost de chez lowcost, j'imagine qu'il ne se règle pas automatiquement comme il faut, à savoir 1000MHz pour un 3700+ S939.
tu peux voir ce que cela donne en changeant ce réglage dans ton bios, mais sache qu'il n'y a aucune différence de performances entre 800 et 1000Mhz de HTT.