Homotopy Lie algebra