Vers un environnement d'aide au développement de preuves en sémantique naturelle — Delphine Terrasse