Pork shank cooked with fine herbs