À la fin, enregistrer le résultat et le faire passer dans un pipeline "generer_url_public" avant de le return.
Du coup, possibilité pour des plugins de s'insérer et de modifier proprement ce que renvoie #URL_PAGE{truc}.
Exemple d'utilisation possible : plugin Pages, s'insérer dedans, et si pour #URL_PAGE{truc} il existe un article-page avec l'identifiant "truc", générer l'URL de ce contenu plutôt que "spip.php?page=truc".
Super simple à ajouter, ne casse rien, et ça fait un truc cool.
