Calcul exponentiel des opérateurs microdifférentiels d'ordre infini. I
Cet article s’intéresse au calcul symbolique des opérateurs microdifférentiels avec symboles exponentiels. On donne la loi de composition des symboles exponentiels. Comme application, on trouve une condition suffisante d’ellipticité pour les opérateurs microdifférentiels d’ordre infini.