​Rechercher dans HAL et exploiter ses résultats (recherche simple et avancée, exports)

Utiliser les statistiques dans HAL (nombre de consultations, de téléchargements, évolution des consultations, etc.)