Calcul symbolique non linéaire pour une onde conormale simple

On considère une solution u, assez régulière, d’une équation aux dérivées partielles non linéaire. Si u est conormale par rapport a une hypersurface simplement caractéristique pour l’équation linéarisée, on étudie l’équation de transport satisfaite par son symbole principal, et on en déduit la propagation de la propriété “u est conormale classique”.