KAM for the non-linear Beam equation 2: A normal form theorem

We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.