Opérateurs pseudo-différentiels et théorème de Nash-Moser