formulation variationnelle