\MotDefinition{Entier naturel $(\mathbb{N})$}[Entier naturel]{Un nombre entier naturel est un
nombre positif dont la partie décimale est nulle.}
