oui. le discriminant du polynôme caractéristique est négatif car t est dans ]O, pi[.
Du coup, tu chopes les racines complexes, tu fais Dn' = a (r1)^n + b (r2)^n, et puis tu tombes sur de la bonne grosse merde après...pour remettre des réels
mais c'est parce que je suis nul en maths.