Tenter de faire tous les rendus dans la CI
La nouvelle situation où une partie des supports sont sur Gitlab Pages et l'autre dans le dépôt n'est pas idéale, certains s'y perdent.
J'aimerais bien faire complètement la peau au dossier Rendus et faire tous les rendus dans la CI, mais il faut LibreOffice pour faire le rendu des PDFs, et je ne sais pas à quel point ça va bien se passer dans Docker. A tester !
Sinon, un plan B est de les uploader sur le site statique depuis la version du dossier Rendus, mais c'est moins optimal (risque de se planter en oubliant de mettre à jour les rendus, davantage de merge conflicts en cas de contribution...).
Les autres zips pourraient être générés de façon automatisée assez facilement, j'ai déjà la quasi totalité de l'infra nécessaire dans le dossier TPs.