Pstatic -> Pdouble. Double -> Static.
Correction is_left_value avec ajout environnement.
Correction de remonte.