A Combination of Geometry Theorem Proving and Nonstandard Analysis door Jacques Fleuriot