formulation d'une démonstration