[Granite 002] points cercle