formulation d'un théorème