The 2.4– spectrum of Mars observed with the infrared space observatory