The dirichlet energy of mappings with values into the sphere