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

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)