\begin{array}{l}
(\textcolor{#083194}{\textbf{compte}}=c´, \textcolor{#083194}{\textbf{montant}}=m) \\
\|\ m ← (\mathbf{\mbox{solde_de_compte}}\,\mathbb E\,c´) \\
\begin{array}{l}
(\textcolor{#083194}{\textbf{compte}}=c´, \textcolor{#083194}{\textbf{montant}}=m) \\
\|\ m ← (\mathbf{\mbox{solde_de_compte}}\,\mathbb E\,c´) \\