Source
%% auteur : 

-1 22 setxrange
-7 9 setyrange
20 setxunit
20 setyunit

/A{0 0} def
/B{4 -3} def
/C{5.5 -3} def
/D{12 -1} def
/E{12 -5} def
/F{12 1} def
/G{12 5} def
/H{4 3} def
/I{5.5 3} def
[A H] ligne
[A B] ligne
[C D] ligne
[C E] ligne
[I F] ligne
[I G] ligne




#latex#$A$
H  [1.5 1.5] crtexlabel
#latex#$C$
G  [1.5 1.5] crtexlabel

#latex#$\overline{C}$
F [1.5 1.5] crtexlabel
#latex#$C$
D  [1.5 1.5] crtexlabel

#latex#$\overline{C}$
E [1.5 1.5] crtexlabel

#latex#$B$
B  [1.5 1.5] crtexlabel

#latex#$P(A)$
A H milieu  [1 1] ultexlabel

#latex#$P_A(C)$
I G milieu  [1 1] uctexlabel
#latex#$P_A(\overline{C})$
I F milieu  [1 1] dctexlabel


#latex#$P_B(C)$
C D milieu  [1 1] uctexlabel
#latex#$P_B(\overline{C})$
C E milieu  [1 1] dctexlabel


#latex#$P(B)$
A B milieu  [1 1] dltexlabel


#latex#$P(A\cap C)=P(A)\times P_A(C)$
14 5  [1 1] crtexlabel

#latex#$P(A\cap \overline{C})=P(A)\times P_A(\overline{C})$
14 1  [1 1] crtexlabel
#latex#$P(B\cap C)=P(B)\times P_B(C)$
14 -1  [1 1] crtexlabel
#latex#$P(A\cap \overline{C})=P(B)\times P_B(C)$
14 -5  [1 1] crtexlabel