%% auteur : 

-1 15 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#$\overline A$
B  [1.5 1.5] crtexlabel

#latex#$\overline B$
F [1.5 1.5] crtexlabel
#latex#$B$
G  [1.5 1.5] crtexlabel

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

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

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

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


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


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