«servizi di pronto intervento»: tutti i servizi locali, pubblici o privati, o prestati dal personale di servizio alla galleria, che intervengono in caso di incidente, compresi i servizi di polizia, i pompieri e le squadre di soccorso.
«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.