Sophie
Boris Morel <Boris.Morel@inria.fr> development, version 1.0 Guillaume Rousse <Guillaume.Rousse@inria.fr> version 0.1