Public lighting by gas and electricity