Nom du cluster : (pers = {})
Liste des états :
(pers = {} & \n dom_univ = {})
(pers = {} & \n dom_univ /= {})

- Retour -