diff --git a/01-formalisation.pdf b/01-formalisation.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..996d98e7b502e095bd17ed757f3147dd54cf30ff
Binary files /dev/null and b/01-formalisation.pdf differ