Pork tenderloin marinated with herbs

Ingredients:

• 3 pieces of pork tenderloin (about 450 g each)
• Grated zest of 1 lemon
• 3/4 cup freshly squeezed lemon juice (4-6 lemons)
• Good quality olive oil
• 2 tbsp (6 cloves) minced garlic
• 1.5 tbsp chopped fresh rosemary leaves
• 1 tbsp chopped fresh thyme
• 2 teaspoons Dijon mustard
• Coarse salt
• Freshly ground black pepper

Preparation:

1. In a 4-quart resealable plastic bag, combine the lemon zest, lemon juice, 1/2 cup olive oil, garlic, rosemary, thyme, Dijon mustard, and 2 teaspoons coarse salt. Place the pork tenderloin pieces in the bag and toss with the marinade. Press out any air and seal the bag. Marinate in the refrigerator for at least 3 hours, or preferably overnight.
2. Preheat oven to 205°C.
   
   Remove the pork from the marinade and discard the marinade, reserving any herbs that have stuck to the tenderloin. Season the pork generously with salt and pepper. Heat 3 tablespoons of olive oil in a large ovenproof skillet over medium-high heat.
   
   Sear the tenderloin pieces on all sides until golden brown. Place the pan in the oven and bake for 10-15 minutes, until the temperature in the thickest part of the meat reaches 140°F (60°C) on a thermometer. Transfer the meat to a platter and cover tightly with aluminum foil. Let rest for 10 minutes.
   
   Slice diagonally into 1.5 cm thick medallions. The thickest part of the tenderloin will be pink enough (very good!), and the thinnest part will be fully cooked. Season with salt and pepper and serve warm or at room temperature, along with any juices that collect on the platter.