Pierre's printing

report.tex

@@ -578,10 +578,21 @@ no longer valid when adding a consistency set.}
 \begin{definition}[Compositional interaction]
 	Given two strategies $\sigma : A^\perp \parallel B$ and $\tau : B^\perp
 	\parallel C$, their \emph{compositional interaction} $\tau \strInteract
-	\sigma$ is defined as $(\sigma \parallel \id_C) \wedge (\id_A \parallel
+	\sigma$ is an event structure defined as $(\sigma \parallel \id_C) \wedge
-	\tau)$. \qtodo{Tell me more?}
+	(\id_{A^\perp} \parallel \tau)$, where $\id_A$ is exactly the game $A$ seen
+	as a strategy.
 \end{definition}
 
+The idea is to put in correspondence the ``middle'' states (those of $B$) while
+adding ``neutral'' states for $A$ and $C$.
+
+$\tau \strInteract \sigma$ is an \emph{event structure} (\ie, without
+polarities): indeed, the two strategies disagree on the polarities of the
+middle part. \qtodo{Tell me more?}
+
+\note{Fin de la partie refaite.}
+
+
 \begin{definition}[Strategies composition]
 \end{definition}