Fix broken LFS files

assigned to @maroneze

assigned to @virgile and unassigned @maroneze

Je sais pas trop comment tester que le pdf sera bien là dans la version déployée: dans la version de test on a un pdf vide (avec juste un sha256 pour que git lfs fasse ce qu'il faut): https://pub.frama-c.com/jobs/2022-03-28-machine-learning-for-improving-formal-verification-of-code.pdf, alors que les autres pdf ont plutôt des erreurs 404 (e.g. https://pub.frama-c.com/download/frama-c-user-manual.pdf). Mais peut-être que tout ça se résout automagiquement lorsqu'on merge vers master.

mentioned in commit fa19a53f

merged

resolved all threads