la je sature un p4c [2 SMT] fait 9858 mips bench proc moi avec un p4c 3.2 8198 mips normal ou non c'est quoi le 2 smt