%% auteur : 

-1 24 setxrange
-6 6 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#$B$
G  [1.5 1.5] crtexlabel

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

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

#latex#$\overline{A}$
B  [1.5 1.5] crtexlabel

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

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


#latex#$P_{\overline{A}}(B)$
C D milieu  [1.2 1.2] uctexlabel
#latex#$P_{\overline{A}}(\overline{B})$
C E milieu  [1.2 1.2] dctexlabel


#latex#$P(\overline{A})$
A B milieu  [1.2 1.2] dltexlabel


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

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