Place the washed pork shank in the pressure cooker, add the washed bay leaf, parsley, and some black peppercorns. Cover with water. Very important, do not add salt.

Place the pot on the stove and once it reaches pressure, cook on medium heat for 40 minutes. Cool quickly to open and continue cooking.

Once opened, in the same pot, add the washed leek, whole peeled carrots, and peeled potatoes cut into pieces. Cook uncovered and without pressure on medium heat for about 30 minutes.

When the shank is tender, remove and drain well.

Plate the shank and serve with the potatoes, adding Maldon salt, sweet or spicy paprika to taste, and a generous drizzle of extra virgin olive oil on top.