-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


<tex>
$P$
</tex>
-1.3 0 [1.5 dup] ultexlabel


<tex>
$D$
</tex>
1  2.5 [1.5 dup] dctexlabel

<tex>
$D'$
</tex>
8 3 [1.5 dup] dctexlabel