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

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)