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 -