  We use standard constructions in algebraic geometry and homological algebra
to extend the decomposition and hard Lefschetz theorems of T. Mochizuki and C.
Sabbah so that they remains valid without the quasi-projectivity assumptions.
