Lemme de Contraction de Mostowski

concept

Propriétés