bonjour
quelle est la commande pour traverser une proxy lorsqu'on veut faire une mise à jour de plug ins via le gestionnaire de mise à jour?