[Galaxy-france] Installation d'une version locale du toolshed