@Lhebreu tu penses quoi de ma solution ?

Ton probleme se réduit à

3 - 2 sqrt(2) cos (pi / 12 ) = 2 - 2 cos(pi / 6)