Hard ball systems are completely hyperbolic.
We study the ergodicity of the weak and strong stable foliations of hyperbolic systems on nilpotent covers. Subshifts of finite type and geodesic flows on negatively curved manifolds are also considered.