Connexité de l'ensemble de Julia

Soit $P \in \mathbb{C}[X]$ de degré $\ge 2$.\rOn note $P_n = P \circ P \circ \cdots \circ P$ ($n$ facteurs).\rSoit $K_P = \{ z \in \mathbb{C} : (P_n(z))_{n \in \mathbb{N}} \text{ est bornée } \}$.\rAlors $K_P$ est non vide, compact et $\mathbb{C} \setminus K_P$ est connexe par arcs.