Device (dead man switch) to stop the gas flow when the valve is in rest (not pressed), this to avoid dangerous gas escaping from the system while due circumstances the gas extractor is not able to shut the system properly.