Champiñones al gratén

Ingredientes:
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

Preparación:
1 Los champiñones, limpios, se ponen a cocer en una cacerola con la cebolla, una cucharadita de mantequilla, jugo de limón y sal. 2 Con la cacerola tapada se dejan hervir unos 25 minutos y se escurren. 3 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. 4 Salsa En una cacerola se funde la mantequilla y se agrega la harina. 5 Cuando empieza a tomar color ligeramente dorado, se añade la leche poco a poco sin dejar de remover. 6 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.