November 26, 2014MiscellaneousCorrection de l'exercice: formalisation d'énoncés complexes (suite et fin).