François Pottier, Inria Paris <francois.pottier@inria.fr>
