Citation de HylienDivin
@Lhebreu tu penses quoi de ma solution ?
Ton probleme se réduit à
3 - 2 sqrt(2) cos (pi / 12 ) = 2 - 2 cos(pi / 6)

je n'ai pas encore lu. Pour le moment le morpion hedre qui se dépatouille dans sa médiocrité me distrait.