Loading annotation for hal.inria.fr

Loading annotation for hal.inria.fr