Hard ball systems, mathematical billiards, semi-dispersive billiards, Boltzmann-Sinai ergodic hypothesis, full hyperbolicity, ergodicity, local ergodicity