Re: [Wikitty-devel] Wikitty non sauvegardée suite à un ajout d'extensions