$B$

$O$

$F'$

$F$

$L$

$B'$

pupille

image de la pupille

image de diffraction

axe optique

$M$

$B_2$

A = Point(yAxis)
B = Point(xAxis)
C = Point(xAxis)
C' = Mirror(C, B)
f = LineBisector(C', C)
g = Line(A, C')
h = Line(A, B)
i = Line(A, xAxis)
D = Intersect(f, i)
E = Intersect(f, g)
j = Line(D, C)
k = Line(E, xAxis)
F = Intersect(h, j)
l = OrthogonalLine(A, xAxis)
m = OrthogonalLine(F, xAxis)
n = OrthogonalLine(C, xAxis)
G = Midpoint(A, D)
H = Midpoint(D, C)
I = Midpoint(A, B)
J = Midpoint(A, C')
K = Midpoint(E, F)
L = Midpoint(F, B)
u = Vector(A, G)
v = Vector(A, I)
w = Vector(A, J)
a = Vector(D, H)
b = Vector(B, L)
c = Vector(E, K)
p = Segment(G, D)
q = Segment(H, F)
r = Segment(L, F)
s = Segment(K, F)
t = Segment(I, B)
d = Segment(J, E)
e = Line(C', C)
M = Point(n)
f_1 = Line(M, B)
g_1 = Line(A, f_1)
N = Intersect(g_1, f)
O = Midpoint(A, N)
P = Midpoint(N, M)
u_1 = Vector(A, O)
v_1 = Vector(N, P)
h_1 = Segment(O, N)
i_1 = Segment(P, M)
Q = Intersect(l, f_1)
R = Midpoint(Q, B)
S = Midpoint(M, B)
w_1 = Vector(Q, R)
a_1 = Vector(B, S)
j_1 = Segment(R, B)
k_1 = Segment(S, M)