Automatic extraction from hal.inria.fr