1: \begin{definition}

2: We define $\Xi$ as the set of random variables $Y_T^{y_{0},Z,\hat{\delta}}$ where $(y_0,Z,\hat\delta)$ ranges in $\R^N\times\Zc\times\mathcal{O}$,  and such that $\mathrm{e}^{-\gamma_i y_0^i}\geq R_i$ for any $i\in\{1,\dots,N\}$.\footnote{Theorem \ref{Theorem market maker} proves that such contract generates at least one equilibrium.}

3: \end{definition}

4: