François Pottier <francois.pottier@inria.fr>
with contributions by
Gabriel Scherer <gabriel.scherer@inria.fr>
