Mathématiques La quadrature du cercle : comment résoudre un problème vieux de deux millénaires ? 25 août 2025