Espaces métrisables, espaces complets