An abstract KAM theorem

The KAM iterative scheme turns out to be effective in many problems arising in perturbation theory. I propose an abstract version of the KAM theorem to gather these different results.