Just as the power series of log(1+X) is the analytical substitutional inverse of the series of exp(X)-1, the (virtual) combinatorial species, Lg(1+X), is the combinatorial substitutional inverse of the combinatorial species, E(X)-1, of non-empty finite sets. This combinatorial logarithm, Lg(1+X), has been introduced by A. Joyal in 1986 by making use of an iterative scheme. Given a species F(X) (with F(0)=1), one of its main applications is to express the species, F^c(X), of connected F-structures through the formula F^c = Lg(F) = Lg(1+F+) where F+ denotes the species of non-empty F-structures. Since its creation, equivalent descriptions of the combinatorial logarithm have been given by other combinatorialists (G. L., I. Gessel, J. Li), but its exact decomposition into irreducible components (molecular expansion) remained unclear. The main goal of the present work is to fill this gap by computing explicitly the molecular expansion of the combinatorial logarithm and of -Lg(1-X), a `` cousin '' of the tensorial species, Lie(X), of free Lie algebras.
Résumé. Tout comme la série de puissances de log(1+X) est l'inverse substitutionnel analytique de la série de exp(X)-1, l'espèce de structures (virtuelle) Lg(1+X), est l'inverse substitutionnel combinatoire de l'espèce, E(X)-1, des ensembles finis non vides. Ce logarithme combinatoire, Lg(1+X), a été introduit par A. Joyal en 1986 en faisant appel à un schéma itératif. Étant donnée une espèce F(X) (telle que F(0)=1), l'une de ses principales applications est d'exprimer l'espèce, F^c(X), des F-structures connexes par la formule F^c = Lg(F) = Lg(1+F+) où F+ désigne l'espèce des F-structures non vides. Depuis sa création, des descriptions équivalentes du logarithme combinatoire ont été formulées par d'autres combinatoriciens (G. L., I, Gessel, J. Li), mais sa décomposition exacte en composantes irréductibles (développement moléculaire) est demeurée obscure. Le but principal du présent travail est de combler cette lacune en calculant explicitement le développement moléculaire du logarithme combinatoire et de -Lg(1-X), un `` cousin '' de l'espèce tensorielle, Lie(X), des algèbres de Lie libres.