let rec insere e = function
    |[] -> [[]]
    |t :: q -> map ((::) t) (insere e q)
;;

let rec perm = function
    |[] -> [[]]
    |t :: q -> List.fold_left (@) (insere t (perm q))
;;