Formalisation

Première tentative

Deuxième tentative

Canons et périodes

Réduction modulo n

Created by Mathematica  (February 6, 2006)