We give algebraic proofs of transcendence over Q(X) of formal power series
with rational coefficients, by using inter alia reduction module prime numb
ers, and the Christol theorem. Applications to generating series of languag
es and combinatorial objects are given. (C) 1999 Elsevier Science B.V. All
rights reserved.