High-resolution molecular fingerprinting in the 11.6-15 µm range by a quasi-CW difference-frequency-generation laser source.