https://123dok.net/document/q5mn4243-formalisation-et-automatisation-du-raisonnement-géométrique-en-coq.html