Article révisé par les pairs
Résumé : Sur une variété analytique paracompacte de dimension 2, on considère un opérateur différentiel P à symbole principal p m analytique vérifiant la condition (P) de Nirenberg et Treves. En ajoutant une nouvelle variable et en utilisant des estimations a priori de type Carleman, on montre qu’il y a propagation des singularités pour P, dans p m -1 (0), le long des feuilles intégrales du système différentiel engendré par les champs hamiltoniens de Rep m et Imp m .