CI: séparation de la génération du LaTeX et du PDF
Les deux fichiers étaient auparavant exposés par le même "job" gitlab, ce qui a pour conséquence de fournir un .zip en téléchargement sur l'interface ; ce changement permet de revenir à un seul fichier (en fournissant le fichier .tex depuis un "job" préliminaire) pour un accès plus facile au pdf.