On the support of the free Lie algebra: the Schutzenberger problems