diff --git a/download/frama-c-acsl-implementation.pdf b/download/frama-c-acsl-implementation.pdf
index adcb7c7a59f15f00306dddbaf445c0d4cf5f4530..75759f65ab8d0796d3a81e6e8bf1edb37fee20b5 100644
--- a/download/frama-c-acsl-implementation.pdf
+++ b/download/frama-c-acsl-implementation.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:e65f8dcbe938bc6bfffd967fdf061574b647ba7a147f9cd9de0b80353f7947b9
-size 1416177
+oid sha256:5b3cd9b0fb07b2f407c169084231d2e7e7789a329a28dc41cc2e81f44e61d1cc
+size 1416101
diff --git a/download/frama-c-rte-manual.pdf b/download/frama-c-rte-manual.pdf
index 5c14a1b8e1d251900252bb1b6a9f8026a89024c9..78f1710d2dbcc2eca797678e630525b5d561ae90 100644
--- a/download/frama-c-rte-manual.pdf
+++ b/download/frama-c-rte-manual.pdf
@@ -1,3 +1,3 @@
 version https://git-lfs.github.com/spec/v1
-oid sha256:cb3fb60f678ff4e53ff73a170ed4e16443fa250edfb783cd47b9c350aae0d245
-size 667480
+oid sha256:dd231779aebe1319358f528f153fe705669d82569e2a4a3f384b005c42f7e67b
+size 667473