Construction de la structure topologique d'un espace métrique (par exemple, la topologie engendrée par une base d'ouverts sphériques)