Correction sur la relation -> (subseteq)

dm.tex

@@ -86,8 +86,7 @@ In the rest of this homwork, we suppose $\mathcal{B}|[ \bullet |]$ the denotatio
 
 We define $->$ the structural operational semantics for commands as:
 
-% On écrit -> \subseteq (Statement … non ?
-\[ -> : (Statement \times State) \times ((Statement \times State) \cup State) \]
+\[ -> \subseteq (Statement \times State) \times ((Statement \times State) \cup State) \]
 
 \subsubsection{Regular execution}
 For all $\sigma \neq \bot$: