La fonction partie entière