We present an a-posteriori KAM theorem for whiskered tori in Hamiltonian PDE's. We do not need to assume that the equations define an evolution (just that the forward (resp. backwards) evolution is defined in the stable (resp. unstable) space and that these spaces are complementary with the tangent and the symplectic conjugate. This is joint work with Y. Sire and closely related to work with E. Fontich and Y. Sire.