Translations:How to install additional workbenches/17/fr

cette méthode est possible mais pas nécessaire avec l'introduction du Gestionnaire des extensions. Néanmoins les informations ici peuvent encore être utiles à certains.