Polarizable twistor D-modules

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.