"au:"Jean-Michel Deharveng"" — arXiv2 Search