Exponentielles de séries génératrices exponentielles en caractéristique positive

Je montre que le groupe des series formelles avec le produit de mélange comme loi de produit est un groupe de Lie admettant le sous-groupe des séries rationelles, respectivement algébriques, comme sous-groupe de Lie.