filete res • tocino o jamón serrano (a elección) • sal • pimienta • pasta de hojaldre • champiñones • echalote grande finamente picado • cebolla finamente picada • vino blanco o cerveza, incluso brandy (opcional) • perejil picado • mantequilla • aceite de oliva •