1 cucharada de mantequilla sin sal
2 cabezas pequeñas de hinojo, finamente picadas (alrededor de 3 tazas)
1/2 cebolla amarilla mediana, finamente picada
2 zanahorias medianas, peladas y finamente picadas (alrededor de 2/3 de taza)
12 onzas de champiñones blancos, en rodajas (alrededor de 5 tazas)
1 papa roja pequeña, pelada y cortada en cubitos (alrededor de 2 1/2 tazas)
1/4 taza de harina para todo uso
1 taza de caldo de champiñones bajo en sodio
1 taza de leche entera
1 taza de guisantes congelados
1/4 taza de cebollín fresco en rodajas finas
1/4 taza de perejil
1 cucharada de vinagre blanco
1 yema de huevo grande
7 onzas de masa de hojaldre o masa para pastel comprada en la tienda, descongelada si está congelada