Le script de mise-à-jour des fichiers ignore maintenant les fichiers cachés de git et est donc plus efficace.