hal-01097503 title_s Existence and uniqueness of constant mean curvature spheres in Sol 3 auteur Benot Daniel, Pablo Mira journal Journal für die reine und angewandte Mathematik pages 1-32 fichier_hal https://hal.science/hal-01097503/document annee 2013