Harmonic maps are maps between Riemannian or pseudo-Riemannian manifolds which extremize a natural energy integral. They have found many applications, for example, to the theory of …