Subelliptic Harmonic Maps with Values in Metric Spaces of Nonpositive Curvature

We prove the Holder continuity of a harmonic map from a domain of a sub-Riemannian manifold into a locally compact manifold with nonpositive curvature,and more generally into a non-positively curved metric space in the Alexandrov sense.