For all $n>1$. Find all polynomials with complex coefficient and degree more than one such that $(p(x)-x)^2$ divides $p^n(x)-x$. ($p^0(x)=x , p^i(x)=p(p^{i-1}(x))$)

[i]Proposed by Navid Safaie[/i]
1. **Initial Setup and Definitions:**
   We are given a polynomial \( p(x) \) with complex coefficients and degree greater than one. We need to find all such polynomials such that \((p(x) - x)^2\) divides \(p^n(x) - x\) for all \( n > 1 \). Here, \( p^i(x) \) denotes the \(i\)-th iterate of \( p(x) \), defined recursively by \( p^0(x) = x \) and \( p^i(x) = p(p^{i-1}(x)) \).

2. **Derivative Condition:**
   Note that if \((p(x) - x)^2\) divides \(p^n(x) - x\), then the derivative \((p^n(x) - x)'\) must be divisible by \(p(x) - x\). This follows from the fact that if a polynomial \( f(x) \) is divisible by \( g(x)^2 \), then \( f'(x) \) is divisible by \( g(x) \).

3. **Chain Rule Application:**
   Using the chain rule, we have:
   \[
   (p^n(x) - x)' = p'(p^{n-1}(x)) \cdot p'(p^{n-2}(x)) \cdot \ldots \cdot p'(x) - 1
   \]
   Since \( p(x) - x \) divides \( p^n(x) - x \), it must also divide the above derivative.

4. **Divisibility Condition:**
   Working modulo \( p(x) - x \), we know that \( q(r(x)) - q(s(x)) \) is divisible by \( r(x) - s(x) \) for all polynomials \( q, r, s \in \mathbb{C}[x] \). Therefore, we have:
   \[
   p(x) - x \mid p'(x)^n - 1
   \]
   This implies that \( p'(x)^n - 1 \) is divisible by \( p(x) - x \).

5. **Multiplicity of Roots:**
   Suppose \( (x - r)^c \) divides \( p(x) - x \) for some \( r \in \mathbb{C} \) and \( c > 1 \). Then, \( (x - r)^{c+1} \) does not divide \( p(x) - x \). From the chain rule, we have:
   \[
   (p(x) - x)' = p'(x) - 1
   \]
   Since \( p(x) - x \) divides \( p'(x)^n - 1 \), we must have \( x - r \mid p'(x) - 1 \).

6. **Contradiction:**
   If \( (x - r)^c \mid p(x) - x \), then \( (x - r)^c \mid p'(x) - 1 \). Writing \( p(x) - x = (x - r)^c q(x) \) for some \( q(x) \in \mathbb{C}[x] \) with \( x - r \nmid q(x) \), we get:
   \[
   p'(x) - 1 = c (x - r)^{c-1} q(x) + (x - r)^c q'(x)
   \]
   This must be divisible by \( (x - r)^c \), but \( c q(x) \) is not divisible by \( x - r \), leading to a contradiction.

7. **Conclusion:**
   Therefore, \( p(x) - x \) has no roots of multiplicity greater than 1. We can write:
   \[
   p(x) - x = c (x - r_1)(x - r_2) \cdots (x - r_k)
   \]
   for distinct complex numbers \( r_1, r_2, \ldots, r_k \) and some complex number \( c \).

8. **Final Condition:**
   Since \( p'(x)^n - 1 \) is divisible by \( p(x) - x \), for each \( r_i \), there exists an integer \( j \) such that \( p'(r_i) = \omega^j \), where \( \omega = e^{\frac{2 \pi i}{n}} \). We have:
   \[
   p'(r_i) = 1 + c \prod_{j \neq i} (r_i - r_j)
   \]
   for each \( 1 \le i \le k \).

The final answer is \( \boxed{ p(x) = x + c (x - r_1)(x - r_2) \cdots (x - r_k) } \).