encore un commit pour le .gitignore