Roast Tenderloin Of Beef

• 4 1/2 pou trimmed filet mignon
• 3 madeira
• 1 sauce
• 1 bay leaf
• 5/8 shallots (minced)
• 700 ml beef stock
• 18 gr tomato paste
• 16 gr arrowroot
• 12 gr rosemary (minced fresh)
• 8 gr garlic (finely minced)