François Pottier <Francois.Pottier@inria.fr>
Yann Régis-Gianas <Yann.Regis-Gianas@pps.jussieu.fr>
Jacques-Henri Jourdan (Coq back-end)