October 16, 2014MiscellaneousCorrection des exercices: congruences; formalisation ne faisant intervenir que des propriétés en logique des prédicats.