Opérateurs pseudo-différentiels et théorème de Nash-Moser — Patrick Gérard, Serge Alinhac