figure pour la solution de Georges Lion

A = (0.5689910219869496, 0.527797739886613)
A' = (6.807936990894568, -0.10133966874272654)
a = LineBisector(A, A')
O = Point(a)
c = Circle(O, A)
b = Line(O, A')
C' = Point(b)
d = Circle(C', A')
e = Segment(A, O)
f = OrthogonalLine(A, e)
g = OrthogonalLine(A', b)
Ω = Intersect(g, f)
h = Line(C', Ω)
i = OrthogonalLine(A', h)
B, M = Intersect(d, i)
j = Line(M, C')
k = OrthogonalLine(M, j)
l = Line(O, A)
C = Intersect(j, l)
p = Circle(C, M)
loc1 = Locus(M, C')
m = Segment(M, C')
n = Line(Ω, M)
q = Line(A, O)
r = Line(M, C')
s = Circle(Ω, A)