infinite KAM, normal form, wave equation, quasi-periodic solutions