Nous montrons un théorème de décomposition pour l'image directe d'un système local irréductible sur une variété projective complexe lisse par un morphisme à valeurs dans une autre variété projective complexe lisse. À cet effet, nous construisons une catégorie de $\mathcal {D}$-modules avec structure de twisteur polarisée et nous montrons un théorème de décomposition dans cette catégorie.