remplacé les Env& par Env_ptr