Can a billiard map be locally conjugated to a rigid rotation? We prove that the answer to this question is positive in the category of formal series. We also present numerical evidence that for "good" rotation angles the answer is also positive in an analytic category.
billiard systems # integrable Hamiltonian systems # normal form convergence # small divisors # elliptic fixed point # analytic conjugacy