3. Retirer un fichier de l'index
git rm --cached <fichier> # Retirer un fichier de l'index (staging area)
# La commande git rm --cached est utilisée pour désindexer un fichier de Git tout en le conservant dans votre répertoire de travail.
# En d'autres termes, Git va oublier le fichier, mais il ne sera pas supprimé de votre disque dur.
# Exemple :
# Vous voulez ajouter un fichier à votre .gitignore après l'avoir déjà committé. En désindexant le fichier d'abord, vous pouvez ensuite
# l'ajouter à votre .gitignore pour vous assurer qu'il ne sera plus jamais suivi par Git. Si vous ajoutiez simplement le fichier au
# .gitignore sans le désindexer, Git continuerait à le suivre car il est déjà dans son historique.