espace métrique compact