Dans un article précédent, les auteurs avaient montré comment étendre le théorème des variétés d'Eilenberg à des structures plus générales, les formations. Dans cet article, nous donnons une méthode générale pour décrire les langages correspondant à des formations saturées de groupe, qui sont beaucoup étudiées en théorie des groupes. Nous retrouvons de cette façon les résultats connus sur les langages correspondant aux classes des groupes nilpotents, résolubles, et superrésolubles. Notre méthode s'applique aussi à de nouveaux exemples, telles que la classe des groupes ayant une tour de Sylow.