Champiñones al gratén

Ingredientes para 4 personas:
1/2 Kg. de champiñones chicos,
1/2 litro de Leche,
1/8 de crema de leche,
75 gr. de Mantequilla,
25 gr. de Queso rallado,
20 gr. de harina,
1 pedazo de cebolla,
1 Yema de huevo,
el jugo de Limón.

Método
: Los champiñones, limpios, se ponen a cocer en una cacerola con la cebolla, una cucharadita de mantequilla, jugo de limón y sal. Con la cacerola tapada se dejan hervir unos 25 minutos y se escurren. En un plato de loza refractaria engrasado con mantequilla, se baña con la salsa, encima el queso rallado y trocitos de mantequilla y se meten al horno caliente hasta que gratine el queso. Salsa: En una cacerola se funde la mantequilla y se agrega la harina. Cuando empieza a tomar color ligeramente dorado, se añade la leche poco a poco sin dejar de remover, se deja hervir a que se espese un poco, sazonándola con sal, Pimienta y entonces se le agrega la crema batida poco a poco y la yema.