Théorème du point fixe de Tarski

Correction: