diff --git a/ccs-body.tex b/ccs-body.tex
index 6a17a92..0054e9d 100644
--- a/ccs-body.tex
+++ b/ccs-body.tex
@@ -560,6 +560,7 @@ For the common prefix to hold, we need $k \geq \frac{\theta \gamma m}{4 \tau}$.
 
 Paper formatted using https://github.com/acmccs/format.
 
+\input{properties}
 
 
 %\begin{acks}
diff --git a/properties.tex b/properties.tex
new file mode 100644
index 0000000..d9f2bd2
--- /dev/null
+++ b/properties.tex
@@ -0,0 +1,9 @@
+- le nombre de blocks dans le compressé est une fonction croissante de la taille de la chaine
+
+- étant donné un compressé C de niveau l, l'ajout d'un bloc b à C donne C' de niveau l' \geq l
+
+- si un bloc de niveau l est éjecté du niveau l, alors il n'est plus présent du tout dans le compressé
+
+- si un bloc de niveau l est présent dans un niveau l'<l, alors il est présent dans tous les niveaux interemédiaires entre l' et l
+
+- pour un bloc de niveau l, pour tout 0 <= i < j <= l, on a pos(i, b) < pos(j, b)
\ No newline at end of file