diff --git a/VL1/VL1_document_structure.tex b/VL1/VL1_document_structure.tex
index d29f252..de2af15 100644
--- a/VL1/VL1_document_structure.tex
+++ b/VL1/VL1_document_structure.tex
@@ -84,22 +84,6 @@
 
 \slide{./content/VL1_pairs.tex}
 
-\subsection{Algebraic Data Types}
-
-\slide{./content/VL1_ADT1.tex}
-\slide{./content/VL1_ADT2.tex}[ (cnt.)]
-\slide{./content/VL1_ADT3.tex}[ (cnt.)]
-\slide{./content/VL1_ADT4.tex}[ (cnt.)]
-
-\subsubsection{Trees}
-
-\slide{./content/VL1_ADT5.tex}
-\slide{./content/VL1_ADT6.tex}[ (cnt.)]
-
-\subsubsection{ADTs generalized}
-
-\slide{./content/VL1_ADT7.tex}
-
 \section{Résumé}
 
 \slidetoc