Let $K$ be an infinite field positive characteristic and $F(X,Y)\in K[[X,Y]]$. Assume that $F(Z_1+U_1,Z_2+U_2)=F(Z_1,Z_2)+F(U_1,U_2)$ where $Z_1,Z_2,U_1,U_2$ are two indeterminates. Can one assert that $F(X,Y)=G(X)+H(Y)$ with $G,H\in K[[X]]$?