Modular towers, a notion due to M. Fried, are towers of Hurwitz spaces, with levels corresponding to the characteristic quotients of the p-universal Frattini cover of a fixed finite group G (with p a prime divisor of |G|). The tower of modular curves X1(pn) (n>0) is the original example: the group G is then the dihedral group Dp. There are diophantine conjectures on modular towers, inspired by ...