1: \begin{abstract}%\internallinenumbers

2: Multitudinous combinatorial structures are counted by generating functions satisfying a composition scheme $F(z)=G(H(z))$.

3: The corresponding asymp\-totic analysis becomes challenging when this scheme is critical (i.e., $G$ and~$H$ are simultaneously singular). 

4: The singular exponents appearing in the Puiseux expansions of $G$ and $H$ then dictate the asymptotics.

5: 

6: In this work, we first complement results of Flajolet et al.\ for a full family of singular exponents of $G$ and~$H$. 

7: We identify the arising limit laws (for the number of $H$-components in~$F$) and prove moment convergence. 

8: Then, motivated by many examples (random mappings, planar maps, directed lattice paths), we consider a natural extension of this scheme, 

9: namely $F(z)=G(H(z))M(z)$.

10: We discuss the number of $H$-components of a given size in~$F$;

11: this leads to a nice world of limit laws involving products of beta distributions and of \textit{Mittag-Leffler distributions}.

12: We also obtain continuous to discrete phase transitions involving \textit{mixed Poisson distributions},

13: giving an unified explanation of the associated thresholds. 

14: We end with extensions of the critical composition scheme to a cycle scheme and to the multivariate case, 

15: leading again to product distributions. %Further 

16: Applications are presented

17: for random walks, trees (supertrees of trees, increasingly labelled trees, preferential attachment trees),

18: triangular P\'olya urns, and the Chinese restaurant process.

19: \end{abstract}