Ma source (le dictionnaire historique des rues de Paris de Jacques Hillairet) n'en parlait pas, mais il n'y a pas de raison de se limiter. Je vais rajouter le lien dans le <url>, et tant qu'on y est, pourquoi ne pas mettre un lien réciproque dans <url> (et mettre <url> en lien externe, avant de développer Tivoli) ?