Ajout du lien vers la gestion des proxys avec le lien vers le TP
Modification de la commande de commit pour ajouter le -a à la commande commit (pour se rapprocher de la commande subversion)
Ajout de TP additionnels pour .gitignore et git pull --rebase