Définitionsnombre entier naturel