Publications HAL de la collection INSP-E9