diff --git a/documentation/guide-pedagogique.pdf b/documentation/guide-pedagogique.pdf deleted file mode 100644 index b93dd32..0000000 Binary files a/documentation/guide-pedagogique.pdf and /dev/null differ