espace métrique complet