Modification du .gitignore pour ignorer le dossier .settings généré par Eclipse