Pour accéder à la branche du TP1, tapez: git checkout origin/tp1