Para realizar esta receta thermomix vamos a colocar en el vaso de nuestra thermomix el aceite y programamos a 100º de temperatura  y velocidad 4 durante 5 minutos. Un minuto antes de finalizar este tiempo, añadimos el ajo.

Ahora abriremos la maquina y colocamos la mariposa. Introducimos los champiñones laminado y rehogamos todo durante dos minutos a 100º de temperatura y velocidad 2. Añadimos la harina y programamos a igual temperatura pero en velocidad 4 durante un minuto. Añadimos la leche y programamos durante 6 minutos sin cambiar la temperatura y colocando la velocidad en el nivel 2.

Vertimos el contenido en una fuente de horno y espolvoreamos con el queso rallado. Introducimos en el horno a gratinar observando hasta que esté a nuestro gusto.