I have a list a_tot with 1500 elements and I would like to divide this list into two lists in a random way. List a_1 would have 1300 and list a_2 would have 200 elements. My
I think they are quite the same, except that one updated the original list, one use (read only) it. No differences in quality.