Résumé : Nous étendons le
théorème de Reiterman aux structures du premier ordre : une
classe de structures du premier ordre finies est une
pseudovariété si et seulement si elle est définie par
un ensemble d'identités dans une structure profinie relativement
libre (pseudoidentités).
Abstract : We extend Reiterman's theorem to first order structures:
a class of finite first-order structures is a pseudovariety if and only if
it is defined by a set of identities in a certain relatively free profinite
structure (pseudoidentities).