Laravel — Huevos pochés con jamón dulce gratinados

En una cazuela calentaremos el agua y el vinagre y cuando empiece a hervir, cascaremos en ella los huevos.
Al volver a hervir, pararemos la cocción y taparemos la cazuela para que se cuezan los huevos con el calor. Los dejaremos durante 4 o 5 minutos, seguidamente los retiraremos y los pondremos en agua fría para parar la cocción. Los depositaremos sobre un paño blanco y los reservaremos.
Limpiaremos las setas y las cortaremos a trozos, las saltearemos en una sartén con aceite a fuego vivo.
Pondremos 1 huevo encima de cada loncha de jamón y los champiñones a los lados, los enrollaremos formando un canalón y los dispondremos en una fuente resistente al horno.
Picaremos el tomate y lo freiremos en aceite, sazonado con un poco de sal.
Calentaremos la mantequilla, añadiremos la harina y la leche y coceremos durante unos 5 minutos.
Agregaremos la salsa de tomate, el queso, la mostaza y la sal. Lo dejaremos cocer, sin dejar de remover para que no se hagan grumos.
Repartiremos la salsa encima de los rollos de jamón y lo espolvorearemos con queso rallado.
Precalentaremos el horno y los gratinaremos al grill durante 10 minutos. Servir de in mediato.

Huevos pochés con jamón dulce gratinados