%%%Attention, ce fichier n'est pas un fichier maître
%%%Le lexique ne peut pas s'obtenir indépendamment du manuel complet. 



\MotDefinition{Entier naturel}
{Un nombre entier naturel est un nombre positif dont la partie décimale est nulle.}
