commiter les fichiers decompilation de latex cause des conflits lors des git pull le pdf peut éventuellement être commité dans un sous-dossier pdf (git add -f pour forcer l'ajout du pdf)