Translations:How to install additional workbenches/9/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.