À un $\mathcal D$-module $\mathcal M$ (de façon grossière, un système d'EDP linéaires à coefficients holomorphes) sur une variété complexe $X$, on associe son faisceau de solutions holomorphes, $\mathcal Sol (\mathcal M)$.  Si $\mathcal M$ est holonome (il contient "beaucoup" d'équations), alors $\mathcal Sol (\mathcal M)$ a des propriétés de finitude. Si de plus $\mathcal M$ est à singularités régulières, alors on sait depuis les années 80 que $\mathcal Sol (\mathcal M)$ détermine $\mathcal M$. Des travaux récents de D'Agnolo, Kashiwara, Mochizuki, Schapira permettent de traiter le cas holonome général.