Revising Arithmétique

entier naturel
entier relatif