A = (8.64, -6.94)
B = Point(Circle[A, 3])
f = segment(A, B)
poly1, g, h, i, j, C, D = Polygon(A, B, 4)
A' = Mirror(A, i)
B' = Mirror(B, i)
g' = segment(A', B')
B'_{1} = Mirror(B, i)
C' = Mirror(C, i)
h' = segment(B'_{1}, C')
D' = Mirror(D, i)
A'_{1} = Mirror(A, i)
j' = segment(D', A'_{1})
A'_{2} = Mirror(A, g')
B'_{2} = Mirror(B, g')
g'_{1} = segment(A'_{2}, B'_{2})
B'_{3} = Mirror(B, g')
C'_{1} = Mirror(C, g')
h'_{1} = segment(B'_{3}, C'_{1})
C'_{2} = Mirror(C, g')
D'_{1} = Mirror(D, g')
i' = segment(C'_{2}, D'_{1})
D'_{2} = Mirror(D, g')
A'_{3} = Mirror(A, g')
j'_{1} = segment(D'_{2}, A'_{3})
E = Mirror(B'_{1}, g')
C'' = Mirror(C', g')
h'' = segment(E, C'')
D'' = Mirror(D', g')
F = Mirror(A'_{1}, g')
j'' = segment(D'', F)
G = Mirror(A'_{2}, h'_{1})
H = Mirror(B'_{2}, h'_{1})
k = segment(G, H)
I = Mirror(C'_{2}, h'_{1})
J = Mirror(D'_{1}, h'_{1})
i'' = segment(I, J)
K = Mirror(D'_{2}, h'_{1})
L = Mirror(A'_{3}, h'_{1})
l = segment(K, L)
C''' = Mirror(C'', h'_{1})
D''' = Mirror(D'', h'_{1})
M = Mirror(A'_{2}, j'_{1})
N = Mirror(B'_{2}, j'_{1})
m = segment(M, N)
O = Mirror(B'_{3}, j'_{1})
P = Mirror(C'_{1}, j'_{1})
n = segment(O, P)
Q = Mirror(C'_{2}, j'_{1})
R = Mirror(D'_{1}, j'_{1})
i''_{1} = segment(Q, R)
C'''_{1} = Mirror(C'', j'_{1})
D'''_{1} = Mirror(D'', j'_{1})
H' = Mirror(H, j'_{1})
I' = Mirror(I, j'_{1})
S = Mirror(C''', j'_{1})
T = Mirror(B'_{3}, g'_{1})
U = Mirror(C'_{1}, g'_{1})
p = segment(T, U)
V = Mirror(C'_{2}, g'_{1})
W = Mirror(D'_{1}, g'_{1})
i''_{2} = segment(V, W)
Z = Mirror(D'_{2}, g'_{1})
A_1 = Mirror(A'_{3}, g'_{1})
q = segment(Z, A_1)
G' = Mirror(G, g'_{1})
H'_{1} = Mirror(H, g'_{1})
k' = segment(G', H'_{1})
I'_{1} = Mirror(I, g'_{1})
J' = Mirror(J, g'_{1})
i''' = segment(I'_{1}, J')
K' = Mirror(K, g'_{1})
L' = Mirror(L, g'_{1})
l' = segment(K', L')
M' = Mirror(M, g'_{1})
N' = Mirror(N, g'_{1})
m' = segment(M', N')
O' = Mirror(O, g'_{1})
P' = Mirror(P, g'_{1})
n' = segment(O', P')
Q' = Mirror(Q, g'_{1})
R' = Mirror(R, g'_{1})
r = segment(Q', R')
C'''_{2} = Mirror(C'', g'_{1})
D'''_{2} = Mirror(D'', g'_{1})
B_1 = Mirror(C''', g'_{1})
C_1 = Mirror(D''', g'_{1})
D_1 = Mirror(C'''_{1}, g'_{1})
E_1 = Mirror(D'''_{1}, g'_{1})
H'' = Mirror(H', g'_{1})
I'' = Mirror(I', g'_{1})
S' = Mirror(S, g'_{1})
M'_{1} = Mirror(M, n')
N'_{1} = Mirror(N, n')
m'_{1} = segment(M'_{1}, N'_{1})
Z' = Mirror(Z, n')
F_1 = Mirror(A_1, n')
q' = segment(Z', F_1)
M'' = Mirror(M', n')
N'' = Mirror(N', n')
m'' = segment(M'', N'')
Q'' = Mirror(Q', n')
R'' = Mirror(R', n')
r' = segment(Q'', R'')
G_1 = Mirror(A'_{2}, n')
H_1 = Mirror(A'_{3}, n')
O'_{1} = Mirror(O, n')
H''_{1} = Mirror(H', n')
W' = Mirror(W, n')
I_1 = Mirror(D'''_{2}, n')
J_1 = Mirror(D_1, n')
K_1 = Mirror(E_1, n')
H''' = Mirror(H'', n')
I''' = Mirror(I'', n')
S'' = Mirror(S', n')
G'_{1} = Mirror(G, l')
H'_{2} = Mirror(H, l')
k'_{1} = segment(G'_{1}, H'_{2})
T' = Mirror(T, l')
U' = Mirror(U, l')
p' = segment(T', U')
G'' = Mirror(G', l')
L_1 = Mirror(H'_{1}, l')
k'' = segment(G'', L_1)
M_1 = Mirror(I'_{1}, l')
J'' = Mirror(J', l')
s = segment(M_1, J'')
N_1 = Mirror(B'_{2}, l')
O_1 = Mirror(B'_{3}, l')
L'_{1} = Mirror(L, l')
V' = Mirror(V, l')
P_1 = Mirror(C'''_{2}, l')
Q_1 = Mirror(B_1, l')
R_1 = Mirror(C_1, l')
K'' = Mirror(K', p')
L'' = Mirror(L', p')
l'' = segment(K'', L'')
S_1 = Mirror(G'_{1}, p')
T_1 = Mirror(H'_{2}, p')
t = segment(S_1, T_1)
G''' = Mirror(G'', p')
U_1 = Mirror(L_1, p')
k''' = segment(G''', U_1)
V_1 = Mirror(M_1, p')
J''' = Mirror(J'', p')
s' = segment(V_1, J''')
G'_{2} = Mirror(G, p')
L'_{2} = Mirror(L, p')
G''_{1} = Mirror(G', p')
J''_{1} = Mirror(J', p')
W_1 = Mirror(C_1, p')
Z_1 = Mirror(N_1, p')
A_2 = Mirror(O_1, p')
B_2 = Mirror(L'_{1}, p')
V'' = Mirror(V', p')
C_2 = Mirror(P_1, p')
D_2 = Mirror(Q_1, p')
E_2 = Mirror(R_1, p')
F_2 = Mirror(A'_{2}, i''')
G_2 = Mirror(B'_{2}, i''')
a = segment(F_2, G_2)
G'_{3} = Mirror(G, i''')
H'_{3} = Mirror(H, i''')
k'_{2} = segment(G'_{3}, H'_{3})
M'_{2} = Mirror(M, i''')
N'_{2} = Mirror(N, i''')
m'_{2} = segment(M'_{2}, N'_{2})
T'_{1} = Mirror(T, i''')
U'_{1} = Mirror(U, i''')
p'_{1} = segment(T'_{1}, U'_{1})
V'_{1} = Mirror(V, i''')
W'_{1} = Mirror(W, i''')
b = segment(V'_{1}, W'_{1})
Z'_{1} = Mirror(Z, i''')
H_2 = Mirror(A_1, i''')
q'_{1} = segment(Z'_{1}, H_2)
G''_{2} = Mirror(G', i''')
I_2 = Mirror(H'_{1}, i''')
k''_{1} = segment(G''_{2}, I_2)
K''_{1} = Mirror(K', i''')
L''_{1} = Mirror(L', i''')
l''_{1} = segment(K''_{1}, L''_{1})
M''_{1} = Mirror(M', i''')
N''_{1} = Mirror(N', i''')
m''_{1} = segment(M''_{1}, N''_{1})
O'' = Mirror(O', i''')
P'' = Mirror(P', i''')
n'' = segment(O'', P'')
Q''_{1} = Mirror(Q', i''')
R''_{1} = Mirror(R', i''')
r'_{1} = segment(Q''_{1}, R''_{1})
J_2 = Mirror(B'_{3}, i''')
K_2 = Mirror(A'_{3}, i''')
L'_{3} = Mirror(L, i''')
O'_{2} = Mirror(O, i''')
H''_{2} = Mirror(H', i''')
L_2 = Mirror(C'''_{2}, i''')
M_2 = Mirror(D'''_{2}, i''')
N_2 = Mirror(B_1, i''')
O_2 = Mirror(C_1, i''')
P_2 = Mirror(D_1, i''')
Q_2 = Mirror(E_1, i''')
H'''_{1} = Mirror(H'', i''')
I'''_{1} = Mirror(I'', i''')
S''_{1} = Mirror(S', i''')
R_2 = Mirror(N'_{1}, i''')
N''' = Mirror(N'', i''')
Q''' = Mirror(Q'', i''')
S_2 = Mirror(O'_{1}, i''')
T_2 = Mirror(H''_{1}, i''')
U_2 = Mirror(J_1, i''')
V_2 = Mirror(H''', i''')
W_2 = Mirror(I''', i''')
S''' = Mirror(S'', i''')
Z_2 = Mirror(G'_{1}, i''')
G'''_{1} = Mirror(G'', i''')
J'''_{1} = Mirror(J'', i''')
A_3 = Mirror(L'_{1}, i''')
B_3 = Mirror(R_1, i''')
C_3 = Mirror(A'_{2}, a)
D_3 = Mirror(B'_{2}, a)
c = segment(C_3, D_3)
E_3 = Mirror(B'_{3}, a)
F_3 = Mirror(C'_{1}, a)
d = segment(E_3, F_3)
G_3 = Mirror(C'_{2}, a)
H_3 = Mirror(D'_{1}, a)
i''_{3} = segment(G_3, H_3)
I_3 = Mirror(D'_{2}, a)
J_3 = Mirror(A'_{3}, a)
e = segment(I_3, J_3)
T'_{2} = Mirror(T, a)
U'_{2} = Mirror(U, a)
p'_{2} = segment(T'_{2}, U'_{2})
V'_{2} = Mirror(V, a)
W'_{2} = Mirror(W, a)
f_1 = segment(V'_{2}, W'_{2})
Z'_{2} = Mirror(Z, a)
K_3 = Mirror(A_1, a)
q'_{2} = segment(Z'_{2}, K_3)
L_3 = Mirror(T'_{1}, a)
M_3 = Mirror(U'_{1}, a)
g_1 = segment(L_3, M_3)
N_3 = Mirror(V'_{1}, a)
O_3 = Mirror(W'_{1}, a)
b' = segment(N_3, O_3)
P_3 = Mirror(Z'_{1}, a)
Q_3 = Mirror(H_2, a)
h_1 = segment(P_3, Q_3)
C'''_{3} = Mirror(C'', a)
D'''_{3} = Mirror(D'', a)
H'_{4} = Mirror(H, a)
I'_{2} = Mirror(I, a)
R_3 = Mirror(C''', a)
M'_{3} = Mirror(M, a)
R'_{1} = Mirror(R, a)
S_3 = Mirror(D'''_{1}, a)
T_3 = Mirror(H'_{1}, a)
U_3 = Mirror(I'_{1}, a)
M''_{2} = Mirror(M', a)
R''_{2} = Mirror(R', a)
V_3 = Mirror(C'''_{2}, a)
W_3 = Mirror(D'''_{2}, a)
Z_3 = Mirror(B_1, a)
A_4 = Mirror(E_1, a)
B_4 = Mirror(H'_{3}, a)
C_4 = Mirror(M'_{2}, a)
D_4 = Mirror(I_2, a)
E_4 = Mirror(M''_{1}, a)
F_4 = Mirror(R''_{1}, a)
G_4 = Mirror(J_2, a)
H_4 = Mirror(K_2, a)
I_4 = Mirror(L_2, a)
J_4 = Mirror(M_2, a)
K_4 = Mirror(N_2, a)
L_4 = Mirror(Q_2, a)
i_1 = segment2(D, C)
j_1 = segment2(A', B')
k_1 = segment2(D'_{1}, C'_{1})
l_1 = segment2(D'_{1}, F_2)
m_1 = segment2(G_2, C'_{1})
n_1 = segment2(F_2, G_2)
p_1 = segment2(W'_{2}, U'_{2})
q_1 = segment2(C_3, D_3)
r_1 = segment2(U', H'_{2})
M_4, N_4, O_4, P_4, Q_4, R_4, S_4, T_4, U_4, V_4, W_4, c_1, s_1, t_1, a_1, b_1, d_1 = Languette1(F_2, W'_{2})
Z_4, A_5, B_5, C_5, D_5, E_5, F_5, G_5, H_5, I_5, J_5, e_1, f_2, g_2, h_2, i_2, j_2 = Languette1(W'_{2}, C_3)
K_5, L_5, M_5, N_5, O_5, P_5, Q_5, R_5, S_5, T_5, U_5, c_2, k_2, l_2, m_2, n_2, p_2 = Languette1(C_3, H_3)
V_5, W_5, Z_5, A_6, B_6, C_6, D_6, E_6, F_6, G_6, H_6, d_2, q_2, r_2, s_2, t_2, a_2 = Languette1(H_3, F_3)
I_6, J_6, K_6, L_6, M_6, N_6, O_6, P_6, Q_6, R_6, S_6, e_2, b_2, f_3, g_3, h_3, i_3 = Languette1(F_3, D_3)
T_6, U_6, V_6, W_6, Z_6, A_7, B_7, C_7, D_7, E_7, F_7, c_3, j_3, k_3, l_3, m_3, n_3 = Languette1(D_3, U'_{2})
G_7, H_7, I_7, J_7, K_7, L_7, M_7, N_7, O_7, P_7, Q_7, d_3, p_3, q_3, r_3, s_3, t_3 = Languette1(U'_{2}, G_2)
R_7, S_7, T_7, U_7, V_7, W_7, Z_7, A_8, B_8, C_8, D_8, e_3, a_3, b_3, f_4, g_4, h_4 = Languette1(K'', L'')
E_8, F_8, G_8, H_8, I_8, J_8, K_8, L_8, M_8, N_8, O_8, c_4, i_4, j_4, k_4, l_4, m_4 = Languette1(C'_{1}, B')
P_8, Q_8, R_8, S_8, T_8, U_8, V_8, W_8, Z_8, A_9, B_9, d_4, n_4, p_4, q_4, r_4, s_4 = Languette1(B', C)
C_9, D_9, E_9, F_9, G_9, H_9, I_9, J_9, K_9, L_9, M_9, e_4, t_4, a_4, b_4, f_5, g_5 = Languette1(C, B)
N_9, O_9, P_9, Q_9, R_9, S_9, T_9, U_9, V_9, W_9, Z_9, c_5, h_5, i_5, j_5, k_5, l_5 = Languette1(B, A)
A_{10}, B_{10}, C_{10}, D_{10}, E_{10}, F_{10}, G_{10}, H_{10}, I_{10}, J_{10}, K_{10}, d_5, m_5, n_5, p_5, q_5, r_5 = Languette1(A, D)
L_{10}, M_{10}, N_{10}, O_{10}, P_{10}, Q_{10}, R_{10}, S_{10}, T_{10}, U_{10}, V_{10}, e_5, s_5, t_5, a_5, b_5, f_6 = Languette1(D, A')
W_{10}, Z_{10}, A_{11}, B_{11}, C_{11}, D_{11}, E_{11}, F_{11}, G_{11}, H_{11}, I_{11}, c_6, g_6, h_6, i_6, j_6, k_6 = Languette1(A', D'_{1})
l_6, m_6, n_6, p_6, q_6, r_6 = languette2(G_2, G'_{3})
s_6, t_6, a_6, b_6, d_6, e_6 = languette2(U', K'')
f_7, g_7, h_7, i_7, j_7, k_7 = languette2(L'', H'_{2})
l_7, m_7, n_7, p_7, q_7, r_7 = languette2(J, C'_{1})
s_7, t_7, a_7, b_7, c_7, d_7 = languette2(D'_{1}, P)
e_7, f_8, g_8, h_8, i_8, j_8 = languette2(M'_{1}, Z')
k_8, l_8, m_8, n_8, p_8, q_8 = languette2(N'_{2}, F_2)
r_8, s_8, t_8, a_8, b_8 = languette3(P, N)
c_8, d_8, e_8, f_9, g_9 = languette3(N, M'_{1})
h_9, i_9, j_9, k_9, l_9 = languette3(Z', P')
m_9, n_9, p_9, q_9, r_9 = languette3(P', N'_{2})
s_9, t_9, a_9, b_9, c_9 = languette3(G'_{3}, J')
d_9, e_9, f_{10}, g_{10}, h_{10} = languette3(J', U')
i_{10}, j_{10}, k_{10}, l_{10}, m_{10} = languette3(H'_{2}, G)
n_{10}, p_{10}, q_{10}, r_{10}, s_{10} = languette3(G, J)

Tool: segment-trait-plein (command segment)
segment[ <Point>, <Point> ]
Input: F, G
Output: g

g = Segment(F, G)

Tool: languette-ronde-1pour2 (command Languette1)
deux points
Input: A, B
Output: C, D, D', E, E', F, F', G, G', H, I, c, f, h, g, k, l

C = Midpoint(A, B)
D = Midpoint(A, C)
E = Midpoint(D, C)
F = Midpoint(D, E)
G = Midpoint(D, F)
D' = Mirror(D, C)
E' = Mirror(E, C)
F' = Mirror(F, C)
G' = Mirror(G, C)
c = Semicircle(D, D')
f = segment(G, G')
g = segment(G, A)
h = segment(G', B)
i = OrthogonalLine(G, g)
j = OrthogonalLine(G', h)
H = Intersect(c, i, 1)
I = Intersect(c, j, 1)
k = segment(H, G)
l = segment(I, G')

Tool: languette-trapeze-2pour1 (command languette2)
deux points [créés ou non]
Input: A, B
Output: i, j, k, l, m, n

poly1, f, g, h, C = Polygon(A, B, 3)
D = Midpoint(C, B)
E = Midpoint(B, D)
H = Midpoint(C, A)
I = Midpoint(H, A)
L = Midpoint(A, B)
M = Midpoint(L, B)
N = Midpoint(L, A)
l = segment(N, M)
m = segment(A, N)
n = segment(M, B)
i = segment(A, I)
j = segment(I, E)
k = segment(E, B)

Tool: languette-triangle-4pour3 (command languette3)
deux points [créés ou non]
Input: A, B
Output: h, j, l, i, k

B' = Rotate(B, 18°, A)
f = Ray(A, B')
A' = Rotate(A, -18°, B)
g = Ray(B, A')
C = Intersect(f, g)
D = Midpoint(A, B)
E = Midpoint(A, D)
F = Midpoint(D, B)
h = segment(A, C)
i = segment(C, B)
j = segment(B, F)
k = segment(F, E)
l = segment(E, A)

Tool: languette-triangle-arrondi-3pour4 (command languette)
deux points [créés ou non]
Input: A, B
Output: c_1, d, t, s, r, q, a, b, f_1

f, g, h, i, j = languette3(A, B)
C, D, E, F, G, H, I, J, K, L, M, c, k, l, m, n, p = Languette1(A, B)
N = Intersect(c, f, 1)
O = Intersect(c, i, 1)
P = Intersect(f, i)
Q = Intersect(f, n)
R = Intersect(i, p)
T = Intersect(n, m)
U = Intersect(p, l)
V = Intersect(c, m, 1)
Z = Midpoint(A, B)
d = CircleArc(Z, N, V)
q = segment(N, P)
r = segment(P, O)
s = segment(T, Q)
t = segment(U, R)
a = segment(A, J)
b = segment(K, B)
f_1 = segment(J, K)
c_1 = CircleArc(C, E, O)

Tool: languettes-ronde-trapeze (command languettes)
deux points (créés ou non]
Input: A, B
Output: c, f, g, h, i, j, k, l, m, n, p, q

C = Midpoint(A, B)
D, E, F, G, H, I, J, K, L, M, N, c, f, g, h, i, j = Languette1(A, C)
k, l, m, n, p, q = languette2(C, B)

Tool: ouverture-pour-languettes-1et3 (command ouverture)
ouverture[ <Point>, <Point> ]
Input: A, B
Output: f

C = Midpoint(A, B)
D = Midpoint(A, C)
E = Midpoint(C, B)
f = segment(D, E)

Tool: segment-pointillé (command segment2)
segment2[ <Point>, <Point> ]
Input: H, I
Output: h

h = segment(H, I)

Tool: languette-trapeze-colle (command languette5)
Input: J, K
Output: i, j, k, p

i, j, k, l, m, n = languette2(J, K)
p = segment(J, K)

Tool: languette-triangle-colle (command languette6)
Input: P, Q
Output: b, e, g_1

b, c, d, e, f_1 = languette3(P, Q)
g_1 = segment(P, Q)