Une autre modification du .gitignore