-3 16 setxrange
-5 8 setyrange
25 setxunit
25 setyunit
/A {-3 0} def
/B{1 3} def
/C{12 3} def
/D{8 0} def
[A B C D] polygone*
/I{1 2.5} def % droite D
/J{8 0.5} def
[I J] ligne
/E{0 0.5} def
/F{8 2} def
[E F] ligne
$P$
-1.3 0 [1.5 dup] ultexlabel
$D$
1 2.5 [1.5 dup] dctexlabel
$D'$
8 3 [1.5 dup] dctexlabel