Bonjour, j'ai vu ton ajout sur le <url> et je me demande si la notion d'<url> relève bien de la topologie générale ou plutôt de la <url>. Je comprends que tu n'aies pas envie d'écrire un article juste pour cette petite définition, mais si tu t'y connais un peu dans le domaine, il y a peutêtre un <url> à construire ?