external du dossier extensions sur _core_/plugins de la zone

L'autre solution serait de faire un répertoire extensions, avec des externals sur chaque extension séparément.
Ça aurait l'avantage de ne pouvoir inclure que les plugins vraiment mûrs, mais ce n'est pas une contrainte pour
la branche de dev.