Fonction partie entière

, il existe un uniqueentier relatif