http://images.math.cnrs.fr/Arrestation-intempestive-d-un.html