Problèmes de synthèse - Irrationalité de pi