b'YOU WILL NEED6 8- to 10-ounce veal shanks, 1 to 2 inches thick 1 teaspoon salt 1 teaspoon peppercup all-purpose flour 4 tablespoons olive oil1 carrot, finely chopped 1 onion, finely chopped 1 celery stalk, finely chopped 4 ounces shiitake or white button mushrooms, diced 4 whole garlic cloves 2 whole cloves 2 bay leaves 1 cup white wine 2 cups tomato sauce 2 cups beef or veal stockcup dried porcini mushrooms, broken into small pieces (See Chefs Tips.)'