  We prove a large deviation result for return times of the orbits of a
dynamical system in a $r$-neighbourhood of an initial point $x$.
  Our result may be seen as a differentiable version of the work by Jain and
Bansal who considered the return time of a stationary and ergodic process
defined in a space of infinite sequences.
