Exercice 7
:
Théorème du point fixe de Knaster-Tarsky
