ROTATION D'UN POLYGONE

A = (10, 10)
B = (7.736145118610353, 5.765849282602064)
C = (14.581991367349938, 5.429168319549298)
poly1, c, a, b = Polygon(A, B, C)
O = Intersect(xAxis, yAxis)
α = 0 rad (slider from 0 to 6.283185307179586, step 1.5707963267948966)
A' = Rotate(A, α, O)
B' = Rotate(B, α, O)
C' = Rotate(C, α, O)
poly1', c', a', b' = Polygon(A', B', C')
d = Segment(A', O)
e = Segment(A, O)
β = Angle(A, O, A')
texte2: "A = " + A
texte3: "A' = " + A'
D = (19.887773012315744, 12.411498954842271)
E = (19.887773012315744, 8.411498954842271)
F = (25.887773012315744, 8.411498954842271)
G = (25.887773012315744, 12.411498954842271)
poly2, d_1, e_1, f, g = Polygon(D, E, F, G)