let macro_ligth = "buch_Macro_Prop_St_Tr_Without_Conds"