maj des priorités en accord avec ce qu'on a en base
- core & 20. extensions ont été fusionnées dans 09. core - plugins-dist
Mais peut-être qu'il serait plus simple/direct de coller ça dans https://git.spip.net/spip-contrib-extensions/trad-lang/src/branch/master/tradlang_options.php#L25 ping @Bennyb & @cerdic