Publications HAL de la collection PRODIGE-AI