formulation d'une preuve