28.45 setxunit
-2 9 setxrange
-1 9 setyrange
/B {0 0} def
/C {8 0 } def
/G {5.5 18.75 sqrt} def
/A {B 0 7 IAcercle C 8 5 IAcercle intercercle 4 2 roll pop pop} def
/E {A exch 2 add exch } def
/F {C A 0.2 hompoint} def
/H {C C A vecteur 2 mulv B C vecteur -0.5 mulv addv translatepoint} def
/P {C C A vecteur 2 mulv translatepoint} def
/Q {P B C vecteur -0.5 mulv translatepoint} def
(B) B left 0.2 mulv translatepoint [1.5 dup ] ultext
(C) C [1.5 dup ] crtext
(A) A [1.5 dup ] urtext
(E) E [1.5 dup ] drtext
(F) F left 0.2 mulv translatepoint [1.5 dup ] cltext
(H) H [1.5 dup ] cltext
[A B A C B C] ligne
[A E] (->) .5 setlinewidth dotted ligne
[A F] (->) ligne
[C P](->) .5 setlinewidth dotted ligne
[P Q](->) .5 setlinewidth dotted ligne
B E .5 setlinewidth pointilles droite
B H .5 setlinewidth pointilles droite
C E .5 setlinewidth pointilles droite