We explicit the link between the computer arithmetic
problem of
providing correctly rounded algebraic functions and some
diophantine approximation issues. This allows to get bounds on
the accuracy with which intermediate calculations must be performed
to correctly round these functions.