est la fonction partie entière et la fonction définie pour tout réel par .