On introduit la notion de complexe différentiel et de $\mathcal {D}$-Module induit, on définit leur dual et image directe et on démontre la dualité pour un morphisme propre, ce qui implique la dualité de $\mathcal {D}$-Modules avec la compatibilité à celle de Verdier. On donne aussi une remarque sur la preuve de la correspondance de Riemann-Hilbert.