exercice corrigé formalisme de lagrange