MediaWiki:Configure-setting-wgDjvuOutputExtension/fr

Extension du fichier de sortie du DjVu post processor