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

- Retour -