Supression du synctex.gz inutile