A_0 = (3.061616997868383E-16, 5)
A_1 = (-2.499999999999999, 4.330127018922194)
A_2 = (-4.330127018922193, 2.5000000000000018)
A_3 = (-5, 6.123233995736766E-16)
A_4 = (-4.3301270189221945, -2.4999999999999987)
A_5 = (-2.4999999999999982, -4.3301270189221945)
A_6 = (-9.184850993605148E-16, -5)
A_7 = (2.5000000000000004, -4.330127018922193)
A_8 = (4.330127018922192, -2.500000000000002)
A_9 = (5, -1.2246467991473533E-15)
A_10 = (4.330127018922193, 2.5)
A_11 = (2.5000000000000027, 4.330127018922192)
a = Segment(A_1, A_0)
b = Segment(A_0, A_11)
c = Segment(A_11, A_10)
d = Segment(A_10, A_9)
e = Segment(A_9, A_8)
f = Segment(A_8, A_7)
g = Segment(A_7, A_6)
h = Segment(A_6, A_5)
i = Segment(A_5, A_4)
j = Segment(A_4, A_3)
k = Segment(A_3, A_2)
l = Segment(A_2, A_1)

Tool: Compas
Choisir un écartement (deux points), puis choisir un centre
Input: A, B, C
Output: c

u = Vector(A, B)
D = Translate(C, u)
c = Circle(C, D)

Tool: partage
donner une valeur à n puis choisir deux points
Input: A, B, n
Output: L'

c = Circle(A, 1)
a = Segment(A, B)
b = OrthogonalLine(A, a)
C = Intersect(c, b, 2)
u = Vector(A, C)
f(x) = x(u) + x
g(x) = y(u) + x
L_x = IterationList(f, x(A), n)
L_y = IterationList(g, y(A), n)
L = Sequence((Element[L_x, i + 1], Element[L_y, i + 1]), i, 1, n)
D_0 = Line(B, Element[L, n])
D = Sequence(Line[Element[L, i], D_0], i, 1, n)
L' = Sequence(Intersect[a, Element[D, i]], i, 1, n)