Classes caractéristiques et théorèmes d'indice : point de vue microlocal
In this paper, we give a new proof of the continuity of division by differential operators with analytic coefficients, originally proved by Mebkhout and the second author. Our methods come from the proof of the Constant Rank Theorem for analytic maps between power series spaces, given by Müller and the first author.