In this talk, I would like to present a new and geometric proof of Sabbah's Decomposition Theorem, which asserts that any semisimple local system remains semisimple after taking the direct image under proper algebraic maps. Sabbah's proof is D-module-theoretic in nature and relies on his theory of p...