Seol mar théacs é seo: Operateurs pseudo-differentiels sur une variete differentiable et calcul symbolique