A1.9 Formalisme : Exercice 1