O microsuporte do feixe das soluções holomorfas de um $\cal D$-Módulo coerente coincide com a sua variedade característica, como foi provado por Kashiwara e Schapira no fim dos anos oitenta. Neste seminário tratarei outros feixes de soluções microlocais, enquadrando, por exemplo, a condição clássica de hiperbolicidade fraca.