Nom de l'état: (pers /= {} & \n dom_univ = {})
Etat initial ? : Non

- Retour -