list.permutations_aux.rec source