We prove a Decomposition Theorem for the direct image of an irreducible

local system on a smooth complex projective variety under

a morphism with values in another smooth complex projective variety.

For this purpose, we construct a category of polarized twistor

D -modules and show a Decomposition Theorem in this category.