Guinness pie

Ingredientes

• 600 gr de carne de ternera (para guisos: trozos gruesos)
• 400 gr de cerveza Guinness
• 1 cebolla
• 2 zanahorias
• 2 dientes de ajo
• 5 ó 6 champiñones
• 400 gr de tomates enteros pelados y su jugo (o tomate triturado)
• tomillo
• romero
• 1 pastilla de doble caldo
• 1 huevo
• 2 placas de masa para pizza (¡importante! NO de hojaldre, de pizza)
• un poco de harina
• sal
• pimienta
• un poco de aceite
• un poquito de mantequilla