A Reiterman theorem for pseudovarieties of finite first-order structures J-E. Pin , P. Weil 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 profonie relativement li­ bre (pseudoidentités). We extend Reiterman's theorem to first-order structures: a classs of finite first-order structures is a pseudovariety if and only if it is defined by a set of iden­ tities in a certain relatively free profinite structure (pseu­ soidentities).