4 résultats : Gromov-Hausdorff convergence