Ce dossier comprend d'une part 5 articles déjà publiés dans diverses publications de l'IREM Paris ou actes de colloque :
1) Sur différents types de démonstration rencontrées en arithmétique avec pour fil conducteur le petit théorème de Fermat.
2) About different kinds of proofs encountered specifically in arithmetic (Fermat's Little Theorem) : une version réduite en anglais de l'article précédent.
3) Arithmétique et codes secrets : un coup d'oeil historique
4) Factorisation de grands nombres et machine de Carissan (avec un texte de Fermat et des figures permettant de fabriquer sa propre machine de Carissan à trois disques sur transparents).
5) Mathématiques et théâtre : traduction d'un extrait de Breaking the code une pièce de H. Whitemore.

D'autre part, un exemple d'utilisation en classe : Quatres devoirs d'arithmétique en terminale scientifique ainsi qu'un film d'une quinzaine de minutes expliquant le fonctionnement de la machine de Carissan.