En route pour www-sop.inria.fr/galaad/costic/

On the road again to www-sop.inria.fr/galaad/costic/