C = Point(xAxis)
P = Point(xAxis)
K = Point(xAxis)
O = Intersect(xAxis, yAxis)
c = Circle(O, K)
a, b = Tangent(P, c)
T1 = Intersect(c, b)
T2 = Intersect(c, a)
d = Ray(P, T1)
e = Ray(P, T2)
f = Circle(P, C)
A = Intersect(f, d)
B = Intersect(f, e)
g = CircleArc(P, A, B)
D = Intersect(c, h, 2.0)
E = Intersect(c, i, 2.0)
j = Segment(D, E)
k = CircleArc(O, D, E)
p = CircleArc(O, D, T1)
q = CircleArc(O, T2, E)
F = Intersect(k, p, 1.0)
M = Point(p)
M' = Point(q)
l = Segment(P, T1)
m = Segment(P, T2)
r = CircleArc(O, M, T1)
s = CircleArc(O, T2, M')
G = Intersect(k, p, 1.0)
n = Tangent(M, p)
H = Intersect(k, q, 1.0)
t = Tangent(M', q)
longueur1: 6.0 - r
longueur2: 6.0 - s
c_1 = Circle(M, longueur1)
d_1 = Circle(M', longueur2)
F1 = Intersect(c_1, n, 2.0)
F2 = Intersect(d_1, t, 1.0)
a_1 = Segment(M, F1)
b_1 = Segment(M', F2)
lieu1 = Locus(F1, M)
lieu2 = Locus(F2, M')