let str_level_option opt = match opt with
  |  T.DontSlice -> "DontSlice"
  |  T.DontSliceButComputeMarks -> "DontSliceButComputeMarks"
  |  T.MinNbSlice -> "MinNbSlice"
  |  T.MaxNbSlice -> "MaxNbSlice"