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