AT-OEMO-FED1 2017 Problem 1

Determine all polynomials $P(x) \in \mathbb R[x]$ satisfying the following two conditions : (a) $P(2017) = 2016$ and (b) $(P(x) + 1)^2 = P(x^2 + 1)$ for all real numbers $x$ .

proposed by Walther Janous