Correction de l'exercice de formalisation. Présentation de l'exercice pour les semaines suivantes.