SMS dit: Operateurs pseudo-differentiels sur une variete differentiable et calcul symbolique