Harmonic maps are viewed as maps sending a xed diiusion to manifold-valued martingales. Under a convexity condition, we prove that the continuity of real-valued harmonic functions implies the continuity of harmonic maps. Then we prove with a probabilistic method that continuous harmonic maps are smooth under HH ormander's condition; the proof relies on the study of martingales with values in th...