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

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