Soit $f$ une forme modulaire pour un sous-groupe d'indice fini de $\mathrm{SL}_2(\mathbf{Z})$ dont les coefficients de Fourier sont algébriques. Il résulte de la théorie classique des formes modulaires que les coefficients de $f$ sont à dénominateurs bornés lorsque le sous-groupe est de congruence. À la fin des années 60, Atkin et Swinnerton-Dyer ont conjecturé que, réciproquement, une forme à dénominateurs bornés est toujours modulaire pour un sous-groupe de congruence. J'expliquerai une preuve récente de cette conjecture due à Calegari, Dimitrov et Tang. Elle repose sur de belles interactions entre un nouveau théorème d'algébricité pour les séries entières, la théorie de Nevanlinna pour des uniformisations explicites du plan complexe privé des racines de l'unité et le fait que $\mathrm{SL}_2(\mathbf{Z}[1/p])$ possède la propriété des sous-groupes de congruence.