Ergodicity, hyperbolicity, mathematical billiards, invariant foliation, hard ball systems, mixing