diff --git a/config.tex b/config.tex
index ab1c77f29050fc05cfa9c89d17f51e96f762bdad..64984a50e9509ef635626414b43645ef32cab988 100644
--- a/config.tex
+++ b/config.tex
@@ -37,10 +37,10 @@ Trois niveaux de configuration
   \item 
     Sorties en couleurs\\
     \ex{git config --global color.ui "auto"}
-  \item
-    Politique de synchronisation des branches lors de \ex{push} (pour
-    1.7.11 $\leqslant$ git $<$ 2.0)\\
-    \ex{git config --global push.default simple}
+  % \item
+  %   Politique de synchronisation des branches lors de \ex{push} (pour
+  %   1.7.11 $\leqslant$ git $<$ 2.0)\\
+  %   \ex{git config --global push.default simple}
   \end{itemize}
 }