High resolution IR balloon-borne solar spectra and laboratory spectra in the HNO_3 1720-cm^−1 region: an analysis