Illustration de la démonstration du théorème 3.8
Le chargement de l'animation peut prendre quelques secondes.