Pdouble -> Pstatic, plus proche de la sémantique.