Since the birth of rational homotopy theory, the possibility of extending the Quillen approach â€" in terms of Lie algebras â€" to a more general category of spaces, including the non-simply connected case, has been a challenge for the algebraic topologist community.