Ajout dossier linters dans le .gitignore