bug git index ("changements" indiqués dans tous les fichiers alors qu'il
n'y a aucune modif)