Vers un assistant à la preuve en langue naturelle. (Toward a proof assistant in natural language). - Thévenon Patrick (2006)