à part ça, je viens de constater que j'ai le même problème que l'auteur...
J'ai acheté mon 840 pro la semaine dernière et fait une nouvelle installation toute propre de windows 7 sur mon SSD.
Je viens de changer les réglages dans le BIOS pour le mettre en AHCI (il était en IDE avant et je ne savait pas qu'il fallait changer) en suivant le tuto de benny-sama, j'ai gagné un peut en vitesse mais je suis encore loin des données constructeur.
Ma carte mère est une Asus Rampage Extreme III, et lors du boot mon SSD apparaît avec la mention "Samsung SSD 840 PRO SATA 6GB" donc c'est le bon port.
Vous avez une idée pourquoi nous sommes bridés ainsi?