Ligne
d'horizon

F_1 = (0.36, 4.78)
F_2 = (15.34, 4.74)
a_1 = Line(F_1, F_2)
F = Midpoint(F_1, F_2)
b_1 = OrthogonalLine(F, a_1)
c_1 = Circle(F, F_2)
b = Intersect(c_1, b_1, 1)
d = Point(b_1)
d_1 = Ray(b, F_2)
e = Ray(b, F_1)
f = Ray(F_2, d)
g = Ray(F_1, d)
a = Intersect(e, f)
c = Intersect(d_1, g)
h = Segment(b, c)
i = Segment(c, d)
j = Segment(d, a)
k = Segment(a, b)