Exercice n°3 : Démonstrations non guidées