Publications HAL de la collection ISTCT