Publications HAL de la collection THEOREM