  Let M be a meromorphic connection with poles along a smooth divisor D in a
smooth algebraic variety. Let Sol M be the solution complex of M. We prove that
the good formal decomposition locus of M coincides with the locus where the
restrictions to D of Sol M and Sol End M are local systems. By contrast to the
very different natures of these loci (the first one is defined via algebra, the
second one is defined via analysis), the proof of their coincidence is
geometric. It relies on the moduli of Stokes torsors.
