Tunable subpicosecond pulses in the infrared by optical parametric oscillation