Diode laser spectroscopy of trifluoroethylene in the 8.6-micron region