Update on Overleaf.

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}

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)