reparer le cache des plugin.xml : sur les 632 plugins de spip-zone je passe...

reparer le cache des plugin.xml : sur les 632 plugins de spip-zone je passe ainsi de 20s a 1.5s pour afficher la page admin_plugin ; bonus : on enregistre le cache en gz (il fait environ 800 ko decompresse)