Spinat-Gratin in Mini-Cocotte

Hinweis: Das Rezept ist für zwei Mini-Cocotte berechnet. Für eine normale Auflaufportion würde ich die Menge verdoppeln und genau so verfahren.
Den Spinat entstielen und kurz mit kochendem Wasser übergießen, dann sofort mit kaltem Wasser abschrecken, trocknen und Beiseite stellen.
Die Milch mit dem Lorbeerblatt, den Thymianzweigen und etwas geriebener Muskatnuss leicht köcheln lassen bis die Milch den Geschmack der Gewürze annimmt.
In einer kleinen Pfanne die Butter zerlassen und darin 1-2 Esslöffel Mehl einrühren. Nach und nach bei mittlerer Hitze die gewürzte Milch (Kräuter vorher entfernen) langsam unter ständigem Rühren hinzugeben bis eine sämige Soße entsteht. Das Eigelb hinzugeben und gut verquirlen. Mit etwa 3 EL geriebenem Käse, Zitronensaft, Salz und Pfeffer abschmecken. Beiseite stellen.
Die Zwiebel, den Knoblauch und die Pilze in etwas Olivenöl andünsten. Die Mehlschwitze hinzugeben und gut vermengen.
Den Backofen auf 200 ° C Ober- und Unterhitze vorheizen. Die Cocottes einfetten.
Beginnend mit einer Schicht Spinat und dann einer Schicht der Pilz-Soße beides abwechselnd auf die Mini-Cocottes verteilen. Mit dem restlichen Käse bestreuen und bei 200 ° C etwa 20 Minuten backen bis die Oberfläche knusprig-braun wird.