A local vanishing theorem for distributions

Si le front d'onde analytique d'une distribution f ne recontre pas la conormale d'une hypersurface S et et f est plate sur S, alors f s'annule dans un voisinage de S