Parsez des unités composées, vérifiez la cohérence et générez des groupes Π avec un journal des étapes.