first version with item toolbar which allows to select the items for the implicative graph (many things are not nice...)