→ For the Filling
01 - 2 tablespoons olive oil
02 - 1 medium onion, finely chopped
03 - 2 cloves garlic, minced
04 - 2 large carrots, peeled and diced
05 - 1 celery stalk, diced
06 - 1 1/2 pounds ground beef
07 - 2 tablespoons tomato paste
08 - 1 1/2 cups beef broth
09 - 1 tablespoon Worcestershire sauce
10 - 1 teaspoon dried thyme
11 - 1 teaspoon dried rosemary
12 - 1 cup frozen peas
13 - Salt and freshly ground black pepper, to taste
→ For the Mashed Potato Topping
14 - 2 pounds russet potatoes, peeled and cubed
15 - 4 tablespoons unsalted butter
16 - 1/2 cup whole milk, warmed
17 - 1/4 cup grated Parmesan cheese (optional)
18 - Salt and freshly ground black pepper, to taste