Re: [Wikitty-devel] Modification des définitions d'extensions (génération)