“…The implementation of a Nash-Moser iterative scheme is however very technical, and is only used as a last recourse to solve nonlinear evolution equations, though some recent works show that it is a useful tool (e.g. [16,17,14,13,10,8]). We develop here a Nash-Moser theorem specific to the general class of IVP (1), which allows us to greatly simplify the general theory (at the cost, sometimes, of optimality -see also [18] for a simplified general Nash-Moser implicit function theorem).…”