Correction erreur démonstration