Correction des exercices: congruences, traduction (français-formalisme, formalisme-français). Mise sous forme pérenne ou sous forme pure.