Publications HAL de la collection TRACCS-PC5-COMPACT