commit 5afbb1fbcb0643d4da35a5e0e5a89a15a513ab42 Author: nicolas-zimmermann Date: Tue Sep 10 10:52:07 2019 +0200 initial commit, repository structure and documentation diff --git a/doc/Notice.pdf b/doc/Notice.pdf new file mode 100644 index 0000000..d8c54fa Binary files /dev/null and b/doc/Notice.pdf differ diff --git a/doc/article_pbexplore.pdf b/doc/article_pbexplore.pdf new file mode 100644 index 0000000..db71e53 Binary files /dev/null and b/doc/article_pbexplore.pdf differ diff --git a/doc/sujet.pdf b/doc/sujet.pdf new file mode 100644 index 0000000..6539595 Binary files /dev/null and b/doc/sujet.pdf differ