The valuation of HAL. Purposes, tools and process (Journal of Data Mining and Digital Humanities, 2024)