Le but de cet article est de démontrer le théorème de comparaison pour les cycles évanescents. Nous montrons la constructibilité du complexe des cycles évanescents. Nous montrons que les solutions multiformes d'un complexe holonome sont de détermination finie. Nous montrons que les solutions multiformes d'un complexe holonome régulier sont à croissance modérée. Nous montrons que le gradué associé à la $V$-filtration d'un module spécialisable commute à la dualité. Nous utilisons tous les résultats précédents pour montrer le théorème de comparaison et nous illustrons les résultats généraux à l'aide de l'exemple d'une fonction monomiale.