@@ -639,7 +639,7 @@ Le fichier \texttt{Modele_N_recepteurs.py} donne une implémentation du modèle
\label{cas_2_utilisateurs}
On s'interesse au cas le plus simple avec 2 récepteurs. On chercher à vérifier que la forumle générale donne un résultat cohérent dans le cas connu où N = 2.\\
On s'interesse au cas le plus simple avec 2 récepteurs. On chercher à vérifier que la formule générale donne un résultat cohérent dans le cas connu où N = 2.\\
L'ensemble des parties de $\llbracket1;N \rrbracket=\llbracket1;2\rrbracket$ vaut $\{\{\}, \{1\}, \{2\}, \{1, 2\}\}$.