Sauriez-vous calculer explicitement sin(2π/7) + sin(4π/7) + sin(8π/7) ? C'est le challenge n° 3 du blog math-os :)