1: \begin{abstract}

2: We discuss a Nash-Moser/ KAM algorithm for the construction of invariant tori for {\em tame} vector fields.

3: Similar algorithms have been studied widely both in finite and infinite dimensional contexts:

4: we are particularly interested in the second case where tameness properties of the vector fields become very important.

5: We focus on the formal aspects of the algorithm and particularly on the minimal hypotheses needed for convergence.

6: We discuss various applications where we show how our algorithm allows to reduce to solving only linear forced equations.

7: We remark that our algorithm works at the same time in analytic and Sobolev class.

8: \end{abstract}

9: