Franois Pottier <Francois.Pottier@inria.fr>
Yann Rgis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
