Entier

Définition de entier