Je pense que c'est normal: ta ddr fonctionne effectivement à 400 MHz. Mais DDR signifie "double data rate", donc en gros son fonctionnement est de "2*400MHz", ce qui equivaut à 800MHz. C'est pour ca que les fabricants utilisent cette notation.
Il faudrais qus quelqu'un de plus calé techniquement que moi pour l'expliquer correctement...