Black line: spectrum of Mars recorded on March 24, 2016, in the southern region between 1387.9 and 1389.3 cm⁻¹. Models: H₂O = 67 ppmv, HDO = 75 ppbv (green); H₂O = 125 ppmv, HDO = 150 ppbv (red, best fit); H₂O = 250 ppmv, HDO = 300 ppbv (blue). The surface pressure is 5 mb and the surface brightness temperature is 235 K. The temperature profile is the same as that used for the integrated spectrum (see Sect. 2.2). The airmass is 2.0.