An abstract Nash-Moser Theorem with parameters and applications to PDEs