ajout d'environnements de mpsi.cls