La fonction f(x) = (tan x) sin x + 2 cos x + 1 est une primitive de tan^3 x sur ]−pi/2, pi/2[ ?

Pourquoi ?