Generating figures with
GeoView (Pcoq)
Generated figure
GEOMETRIE--COQ