figure générée par Geoview

énoncé en Coq (Pcoq)