Relative (non-)formality of the little cubes operads and the algebraic Cerf lemma

It is shown that the operad maps $E_n\to E_{n+k}$ are formal over the reals for $k\geq 2$ and non-formal for $k=1$. Furthermore we compute the homology of the deformation complex of the operad maps $E_n\to E_{n+1}$, proving an algebraic version of the Cerf lemma.