Il s'agit de la partie traitant d'arithmétique du cours Logique Langage Calcul du premier semestre.