HAL-dsl a aucun abonné