Dans ce cours, nous exposons les résultats de base sur le foncteur image inverse en théorie des $\mathcal {D}$-modules. Après quelques généralités, nous donnons les premiers résultats dans le cas d'un morphisme non caractéristique. Puis nous montrons l'existence d'équations fonctionnelles de Bernstein associées à une section d'un $\mathcal {D}$-module holonome. Nous en déduisons que les foncteurs image inverse et cohomologie locale préservent l'holonomie. Nous montrons ensuite que ces foncteurs commutent. Enfin, nous étudions le morphisme canonique entre l'image inverse des solutions et les solutions de l'image inverse. Ces résultats sont à la base de la notion d'irrégularité d'un $\mathcal {D}$-module holonome.