future mirror of https://gforge.inria.fr/scm/?group_id=934