let matrix m =
  match m with 
  | (h1 :: h2 :: t) -> List.rev t
  let aux t = 
    match t with
    | h :: t -> List.rev t
    in aux m