Antoine Ducros

Paris

http://www.math.jussieu.fr/~ducros