Mini-.gitignore : optimiser vos dépôts pour des builds plus rapides