Half Pork Shank Cooked with Fine Herbs