let compare (t1,c1) (t2,c2) = match String.compare t1 t2 with 0 -> GettextCategory.compare c1 c2 | x -> x