"Gas-discharge light source": light source in which the light is produced by a stabilized discharge arc. ###>"Source lumineuse à décharge" : source lumineuse dans laquelle la lumière est produite par un arc à décharge stabilisé.