Dans ce cas précis et de manière générale, je m'interroge sur l'application de ce principe à d'anciennes dénominations, aujourd'hui disparues et obsolètes.. Les entreprises par exemple (mais pas seulement) ont souvent changé de <url> ou de <url> au fil du temps, fautil pour autant les citer toutes et, quand on le fait pour raconter leur histoire, les porter en caractères gras ?