Le dossier tmp était ignoré par git, maintenant, non !