Tips: For the shank: blend an onion, 3 cloves of garlic, 1 bay leaf, 2 cups of dry white wine and salt to taste. Cover the shank with this marinade and leave for at least 4 hours. Cook the shank in the pressure cooker with the marinade and 1 cup of water for about 40 minutes
.