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