point_angle/
point_cocyclicite/
point_napoleon/
point_orthocentre/
point_Simson/
point_tangente/