Le but de cet exposé est d'illustrer la "beauté particulière" (Thurston) des variétés hyperboliques arithmétiques de congruence (par exemple les revêtements de congruence de la surface modulaire). Plus précisément, la problématique que je veux traiter est la suivante : de nombreux invariants topologiques peu fins sur l'ensemble des variétés de volume fini le deviennent beaucoup plus quand on les restreint aux seules variétés de congruence. C'est le cas du genre pour les revêtements de congruence de la surface modulaire (Dennin, Zograf) ; on décrira en particulier un affinement de ce résultat obtenu avec M. Fraczyk, et la solution d'une conjecture de Baker et Reid présentant un analogue en dimension 3.