Foncteur image inverse de Dcap-modules en géométrie analytique rigide

En géométrie algébrique classique, lorsqu'on a un morphisme entre variétés lisses, le foncteur image inverse de O-modules peut s'étendre sur les opérateurs différentiels en un foncteur de D-modules. La même chose peut se faire en géométrie analytique rigide, mais l'objectif est alors d'obtenir un résultat sur les opérateurs différentiels d'ordre infini Dcap. Nous verrons donc dans cet exposé comment définir un foncteur image inverse de Dcap-modules qui préserve la coadmissibilité, analogue sur les Dcap-modules des D-modules cohérents.