approximation d’un réel par un nombre décimal