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

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)