Salut,
Ta question est plutôt: expliquer pourquoi si

est un ouvert de

et si

est holomorphe sur

(c'est à dire dérivable au sens complexe en tout point de

), alors

est indéfiniment dérivable au sens complexe en tout point de

.
Cela provient du fait qu'une telle fonction f est forcément analityque sur

. Cela signifie que pour tout

, il existe une suite
)
de nombres complexes et

tel que pour tout

dans le disque
)
(contenu dans

), on a :
 = \sum_{n=0}^{+ \infty} a_n(z-a)^n)
Ainsi, f est développable en série entière en tout point de

. Il est facile de voir qu'elle est alors indéfiniment dérivable en tout point (comme on fait pour les séries entières).
Pseudo modifié : anciennement Trident2.