diff --git a/Nantes2021Types.extended.pdf b/Nantes2021Types.extended.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..a275a2243a79b6c5e781d10d9ee88b7e89aa400d
Binary files /dev/null and b/Nantes2021Types.extended.pdf differ