Braised Beef With Garlic Mashed Potatoes

Ingredients

• 4 pounds beef shanks, chuck or shoulder roast, trimmed of excess fat
• 1/4 cup all-purpose flour
• 1 tablespoon vegetable oil
• 1 large onion, thinly sliced
• 1 large carrot, finely chopped
• 1 large stalk celery, finely chopped
• 1 cup tomatoes, peeled and seeded
• 3-4 cups beef stock
• 8 small shallots or pearl onions, peeled
• 1 pound beef or veal marrow bones, cleaned
• 6 sprigs of rosemary
• 6 sprigs thyme
• 1 bay leaf
• salt and pepper
• 2 pounds starchy potatoes, peeled
• 1/4 cup butter
• 3 cloves garlic, crushed
• 1 cup milk