Definition:Entier Function