Billiards: a singular perturbation limit of smooth Hamiltonian flows.