Exercice auto-corrigé (démonstration)