C'est bon, réponse trouvée. Pour ceux que ça interesse :
En gros, on prouve toute la question 2 d'un coup par récurrence.
Pour l'hérédité, f[n+1](x)=(Pn(tan(x)))'
Par miracle (j'avais completement pas remarqué du premier coup, c'est la dérivée d'une composée de fonctions, donc :
(Pn(tan(x)))'=(1+tan²(x))Pn'(tan(x))=Pn+1
Et en remplacant tan(x) par X ;
(Pn(tan(x)))'=(1+X²)Pn'(X)
Tadaa 