Gas detector, namely, infra-red sensors for measurement of combustible hydrocarbon gases for use in the petrochemical, oil and gas industries ; parts and components for gas detectors, namely, infra-red sensors