#2501 et #2520 :placer les plugins distribues et verouilles dans plugins-dist/ et non dans extensions/