En un sartén saltée la cebolla con 2 cucharadas de mantequilla. Cuando esté dorada agregue los champiñones y cocine a fuego, medio, 8 minutos o hasta que el líquido se evapore pero teniendo cuidado de que no se seque. Frote una fuente de horno con el ajo y luego elimínelo. En un recipiente mezcle la crema, leche y yema de huevo y sazone con sal y pimienta. Coloque la mezcla de champiñones en el fondo de la fuente y vierta la mezcla de la crema. Espolvoree con queso rayado, gratine en el horno hasta que se dore