Résume | Conjecturalement, 1 et les valeurs aux entiers impairs $s\geq 3$ de la fonction zêta de Riemann sont des nombres linéairement indépendants sur $\mathbb Q$ (et ces valeurs sont donc irrationnelles). Presque rien n'était connu dans cette direction jusqu'à ce qu'Apéry prouve en 1978 que $\zeta(3)$ est irrationnel. Puis Ball et Rivoal ont démontré en 2001 que pour tout $\epsilon >0$, au moins $(1-\epsilon) (\log s) / (1+\log 2)$ nombres parmi 1, $\zeta(3)$, $\zeta(5)$, ..., $\zeta(s)$ sont linéairement indépendants sur $\mathbb Q$, lorsque $s$ est impair et suffisamment grand par rapport à $\epsilon$. Dans cet exposé j'expliquerai comment remplacer ce minorant par $0.21 \sqrt{s/\log s}$. La stratégie consiste à remplacer les constructions explicites par l'utilisation d'un lemme de Siegel (qui apparaît en transcendance pour construire des fonctions auxiliaires). |