(UnIndustriel /: pers & \n  UnIndustriel /: dom_indus) (UnIndustriel /: pers & \n  UnIndustriel : dom_indus) [G] [ ] modif_droit_insc_indus [G] [ ] modif_droit_insc_indus [G] [ ] modif_droit_insc_indus [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus_2 [G] [ ] download_indus\n[ ] [ ] modif_droit_insc_indus_2 (UnIndustriel : pers & \n  UnIndustriel : dom_indus & \n  val_droit(UnIndustriel) = ok) [G] [ ] subscription_indus [G] [ ] subscription_indus [G] [ ] subscription_indus [ ] [ ] download_indus\n[G] [ ] subscription_indus\n[ ] [ ] modif_droit_insc_indus_2 [ ] [ ] download_indus\n[G] [ ] subscription_indus\n[ ] [ ] modif_droit_insc_indus_2 [ ] [ ] download_indus\n[G] [ ] subscription_indus\n[ ] [ ] modif_droit_insc_indus_2 (UnIndustriel : pers & \n  UnIndustriel : dom_indus & \n  val_droit(UnIndustriel) /= ok) [ ] [ ] modif_droit [ ] [ ] modif_droit [ ] [ ] modif_droit [G] [ ] subscription_indus [G] [ ] subscription_indus [G] [ ] subscription_indus [ ] [ ] modif_droit\n[ ] [ ] modif_droit_insc_indus_2 [ ] [ ] modif_droit\n[ ] [ ] modif_droit_insc_indus_2 [ ] [ ] modif_droit\n[ ] [ ] modif_droit_insc_indus_2 (UnIndustriel : pers) (UnIndustriel /: pers)