exo7 6287

Soient $E_1,E_2$ et $F$ des espaces normés et $B: E_1\times E_2 \to F$ une application bilinéaire continue. Montrer que $B$ est de classe $C^\infty$ et déterminer les différentielles $D^k B$.