The Sabatier reaction was discovered by French chemist Paul Sabatier in the early 20th century; its reaction formula is CO₂ + 4H₂ → CH₄ + 2H₂O, and it forms the chemical basis for Martian ISRU fuel production.