Nom de l'état: (UnIndustriel /: pers & \n dom_indus /= {} & \n UnIndustriel : dom_indus & \n lic(UnIndustriel) /= ok)
Etat initial ? : Non

- Retour -