  We prove in this paper that there exists some infinitary rational relations
which are analytic but non Borel sets, giving an answer to a question of
Simonnet [Automates et Th\'eorie Descriptive, Ph. D. Thesis, Universit\'e Paris
7, March 1992].
