(UnUniversitaire /: pers & \n  UnUniversitaire /: dom_univ) (UnUniversitaire /: pers & \n  UnUniversitaire : dom_univ) [G] [ ] modif_droit_insc [G] [ ] modif_droit_insc [G] [ ] modif_droit_insc [G] [ ] download_univ [G] [ ] download_univ [G] [ ] download_univ (UnUniversitaire : pers & \n  UnUniversitaire : dom_univ & \n  val_droit(UnUniversitaire) = ok) [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] download_univ\n[ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] download_univ\n[ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] download_univ\n[ ] [ ] subscription\n[ ] [ ] subscription_wm (UnUniversitaire : pers & \n  UnUniversitaire : dom_univ & \n  val_droit(UnUniversitaire) /= ok) [ ] [ ] modif_droit [ ] [ ] modif_droit [ ] [ ] modif_droit [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] subscription\n[ ] [ ] subscription_wm [ ] [ ] modif_droit [ ] [ ] modif_droit [ ] [ ] modif_droit (UnUniversitaire : pers) (UnUniversitaire /: pers)