Attention : Si vous utilisez SSH pour accéder à vos Répertoires Git, il vous faut impérativement utiliser le VPN de Polytechnique.