Hard sphere gas, hard ball systems, Boltzmann hypothesis, ergodicity, local ergodicity, non-uniform hyperbolicity, singularities, stable and unstable foliations