updated slides

git_tutorial.md

 % Introduction à Git
 % Orestis Malaspinas
-% commit 1d8bcf97fe56b4298ad7e71c4234fa2c77255a11
+% commit 1af569bd27849e60d0e04e16a294a2a20f831ca4
 
 # Des références
 
@@ -452,7 +452,11 @@ Git voit les fichiers dans trois états possibles:
 2. *untracked*, un fichier qui n'a pas été `add` ou `commit`.
 3. *ignored*, un fichier qui est explicitement ignoré par git.
 
-## Quels fichiers ignorer
+## Certains fichiers ne doivent pas être `addables`
+
+* Ils doivent *explicitement* être ignorés.
+
+# Quels fichiers ignorer
 
 On ignore typiquement:
 
@@ -462,7 +466,7 @@ On ignore typiquement:
 * Les fichiers de configuration d'un IDE: .vscode, ...
 * Les fichiers système.
 
-## Comment ignorer des fichiers?
+# Comment ignorer des fichiers?
 
 * Créer un fichier texte nommé `.gitignore`.
 * L'ajouter au répo git et le "commit".
@@ -480,7 +484,7 @@ sanders    # ignore le répertoire sanders
 
 [^2]: Pour une liste plus exhaustive voir le site <https://bit.ly/2HTZJyQ> par exemple.
 
-## Bibliographie
+# Bibliographie
 
 Ces quelques slides sont inspirés du site <https://bit.ly/2HTZJyQ>.