"services d'intervention", tous les services locaux, qu'ils soient publics ou privés, ou fassent partie du personnel du tunnel, qui interviennent en cas d'accident, y compris les services de police, les pompiers et les équipes de secours.
"Emergency services" means all local services, whether public or private or part of the tunnel staff, which intervene in the event of an accident, including police services, fire brigades and rescue teams.