Publications HAL de la collection INSP-E7