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