Cocinar la pasta como se indica en el paquete y, como se horneará más tarde, ¡no cocinar demasiado! También precalentar el horno a 200° C y untar el interior de una caserola con mantequilla.

En una sartén grande, calentar 2 cucharadas de aceite de oliva.

Agregar la cebolla y el ajo y cocinar a fuego moderadamente alto durante 1 minuto, revolviendo, hasta que chisporrotee. Agregar los champiñones, sazonar con sal y pimienta y cocinar, revolviendo ocasionalmente, hasta que se doren; 10 a 12 minutos.

Vertir en un tazón.

En la misma sartén, calentar la cucharada restante de aceite de oliva.

Agregar las espinacas, sazonar con sal y pimienta y cocinar a fuego moderado, revolviendo, hasta que se ablanden; aproximadamente 2 minutos.

Incorporar los champiñones y dejarlos enfriar un poco.

En un bol grande, batir los huevos con la leche.

Agregar los espaguetis, la mezcla de champiñones, 3 quesos, tomillo, sal y pimienta; mezclar bien.

Vertir en el molde preparado alisando la parte superior.

Hornear durante unos 35 minutos, hasta que burbujee y la parte superior esté dorada.

Dejar reposar durante 15 minutos.

Cortar el pastel en gajos y servir.