Infinis morphismes de Leibniz pour les crochets dérivés

Il est connu que le crochet derive d'un element de Maurer-Cartan d'une algebre de Lie differentielle graduee (DGLA) definit une algebre de Leibniz differentielle graduee. Il est connu aussi que un morphisme de Lie infini entre DGLAs envoie un element de Maurer-Cartan sur un autre element de Maurer-Cartan. ´ Etant donnes un morphisme Lie-infini, un element de Maurer-Cartan et son image, nous construisons entre leurs algebres de Leibniz differentielles graduees un morphisme de Leibniz infini, et ce de facon totalement explicite. Nous utilisons cette construction pour retrouver une formule de Dominique Manchon a propos du commutateur du produit-etoile.