Nom du cluster : (UnIndustriel /: pers)
Liste des états :
(UnIndustriel /: pers & \n dom_indus = {})
(UnIndustriel /: pers & \n dom_indus /= {} & \n UnIndustriel : dom_indus & \n lic(UnIndustriel) = ok)
(UnIndustriel /: pers & \n dom_indus /= {} & \n UnIndustriel : dom_indus & \n lic(UnIndustriel) /= ok)

- Retour -