Propriété de Church-rosser

concept

Propriétés