add --no-proxy option to filter proxy exceptions
ajoute --no-proxy option en ligne de commande pour filtrer les exceptions des proxy