Ligne d’horizon

α = (-0.1, 3.54)
β = (10.9, 3.54)
a_1 = Line(α, β)
a = (3.26, -1.36)
b = (5.1, 1.62)
c = (0.94, 0.78)