[spip-dev] Cache du menu privé des rubriques

Bonjour,

J'évoque un cas qui ne devrait jamais apparaître, mais si ça peut donner des pistes sur autre chose...

[Dev 12837]
- Je crée des rubriques, mots, articles.
- Je vide toutes ces tables depuis phpMyAdmin.
- Je vide le cache de l'espace privé.
- Je survole la planète des rubriques arborescentes :
celles-ci apparaissent encore !!