Soit $K$ un corps commutatif. Chercher une série formelle $S(X,T)\in K\left[\right[X,T\left]\right]$ vérifiant $S(X+Y,T)/S(X,T)\in K\left[\right[Y,T\left]\right]$ conduit naturellement à étudier l’application $U\left(T\right)\to \left(U\right(T){)}^X$, $U\left(T\right)$ étant une unité de l’algèbre $K\left[\right[T\left]\right]$, et à ramener les solutions à la forme $S(X,T)=\sum _{n\ge 0}{H}_n\left(X\right)T^n$, $\left(H_n\right(X\left)\right)$ étant une suite de $K\left[X\right]$ vérifiant les “identités multinomiales” :$$\left(\mu \right)H_n(X_1+...+X_k)=\sum _{{\alpha }_1+...+{\alpha }_k=n}{H}_{{\alpha }_1}(X_1)...H_{{\alpha }_k}(X_k\left)\right(n,k\ge 0).$$Après mise à l’écart par des lemmes combinatoires du cas caract$\left(K\right)\>0$ (les solutions sont triviales), on caractérise de plusieurs manières les solutions. On peut les faire coïncider avec l’ensemble NW des suites de polynômes (ou séries génératrices...