Ajouts divers dans le gitignore