Cette étude de la paraphrase langagière offre une vue d'ensemble sur ce procédé dans la théorie sens-texte, traite de deux problèmes théoriques liés à sa modélisation, la notion de paraphrase comme telle et les règles sémantiques d'équivalence. Elle propose une série de nouvelles règles sémantiques et lexico-syntaxique de paraphrasage.

A formal sequent system dealing with Menelaus' configurations is introduced in this paper. The axiomatic sequents of the system stem from 2-cycles of Δ-complexes. The Euclidean and projective interpretations of the sequents are defined and a soundness result is proved. This system is decidable and its provable sequents deliver incidence results. A cyclic operad structure tied to this system is presented by generators and relations.