On the existence of Killing fields on smooth spacetimes with a compact Cauchy horizon.