--proxy pour pip est inutile si on définit les variables d'environnement http_proxy et https_proxy