Draagbare elektrische mijnlamp, naar Dumas en Benoit (1862)