"au:"S. Gonthier"" — arXiv2 Search