Bon je crois que j'ai trouvé, je sais pas si c'est bien exprimé.
Disons que toutes ces variables aléatoires sont définies sur
)
et à valeurs dans

.
On a clairement
=\{0,...,n\})
.
Soit
)
. Notons

l'ensemble des parties de

qui ont

éléments, donc
=C_n^k)
.
L'évènement

s'écrit comme la réunion disjointe des évènements

, avec

,
ie

.
Comme les

sont i.i.d., on a pour tout

,
\\<br />=\mathbb{P}(\{X_i=1,\ \forall i\in J\} ).\mathbb{P}(\{X_i=0,\ \forall i \notin J\})\\<br />=\mathbb{P}(\Bigcap_{i\in J}\ \{X_i=1\}).\mathbb{P}(\Bigcap_{i\notin J}\ \{X_i=0\})\\<br />= \Bigprod_{i\in J}\ \mathbb{P}(\{X_i=1\}).\Bigprod_{i\notin J}\ \mathbb{P}(\{X_i=0\})\\<br />=p^k(1-p)^{n-k})
.
Par

-additivité de

, on a donc
= C_n^k\ p^k\ (1-p)^{n-k})
.
D'où pour tout

,
=\mathbb{P}(Y=k)=\Bigsum_{k=0}^n C_n^k\ p^k\ (1-p)^{n-k}\ \delta_k(\{k\}))
.
Comme
)
est fini, et que
^{n-k}\ \delta_k)
et

coïncident sur tout singleton, par

-additivité, ces deux mesures coïncident sur
))