Bases optimales pour les images directes de modules différentiels p-adiques

Après avoir rappelé les notions de base concernant les équations différentielles $p$-adiques sur le disque unité (comme la notion de polyrayon de convergence, de base optimale de solutions en un point et le formalisme des modules différentiels), nous étudierons l'image directe de modules différentiels par un morphisme fini étale de disques. Nous montrerons comment construire une base optimale pour l'image directe en un point, en fonction des propriétés de ramification du morphisme et de bases optimales du module différentiel de départ.