Confluent La Réécriture Résumé De Réécriture Du Système Churchrosser Théorème Terme Informatique Devprayag Système La Normalisation De La Propriété La Logique Expression Formule Bleu Texte Ligne Diagramme La Zone Angle Cercle Nombre En Parallèle