Osso Buco

3 tablespoons vegetable oil 1/4 cup all-purpose flour 2 tablespoons salt 2 teaspoons freshly ground black pepper 4 veal shanks, tied to secure meat to bone 1 cup dried porcini mushrooms 1 dried bay leaf 1 sprig fresh rosemary 2...