» aubsort : R.