Définition : Fonction partie entière