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