diff --git a/Paper/Vanilla/synthesisVanilla.pdf b/Paper/Vanilla/synthesisVanilla.pdf
new file mode 100644
index 0000000..9841fde
Binary files /dev/null and b/Paper/Vanilla/synthesisVanilla.pdf differ