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