Gas discharge type light sources