In the event that the gas-discharge light source fails, this additional light source shall be automatically switched off.
En cas de défaillance de la source lumineuse à décharge, cette source lumineuse supplémentaire doit automatiquement s'éteindre.