diff --git a/cours/cours-typage.pdf b/cours/cours-typage.pdf
new file mode 100644
index 0000000..c1433b4
Binary files /dev/null and b/cours/cours-typage.pdf differ