Les tours modulaires ont été introduites par M. Fried. Ce sont des tours d'espaces de Hurwitz dont les niveaux correspondent aux quotients caractéristiques du $p$-revêtement universel de Frattini d'un groupe fini fixé, le premier $p$ étant un diviseur de l'ordre du groupe. La tour des courbes modulaires de niveaux $p^n$ ($n>0$) est l'exemple initial : le groupe fini est dans ce cas le groupe diédral d'ordre $2p$. Il y a des conjectures diophantiennes sur les tours modulaires, qui s'inspirent de la situation des courbes modulaires : l'esprit est que les points rationnels sur un corps de nombres fixé disparaissent au-delà d'un certain niveau. Dans cet article, qui est le premier d'une série de trois sur le sujet dans ce volume, après avoir revu la construction des tours modulaires, nous revenons sur ces conjectures, en examinons l'impact et expliquons quelques résultats.