Gratinado de judías verdes con cebolla crujiente

Precalentar el horno a 230 °C y cubrir una bandeja con papel de horno. Pelar la cebolla, cortarla fina y separar los aros. Poner 62 g de harina en un cuenco. En otro, mezclar el panko con 0,5 cdta. de sal y 0,25 cdta. de pimienta. En el último, cascar el huevo y batirlo con la leche. Pasar los aros por harina, huevo y panko y colocarlos en la bandeja.

Hornear la cebolla unos 20 minutos, dándole la vuelta para dorarla uniformemente. Mientras tanto, quitar las puntas de las judías, lavarlas y partirlas por la mitad. En una olla adecuada a la cantidad de judías, hervir agua suficiente para sumergirlas holgadamente. Añadir 3 cdtas. de sal. Cocer las judías 5 minutos, escurrir, pasar a agua helada y escurrir otra vez. Cuando la cebolla esté dorada, sacarla y bajar el horno a 205 °C.

Limpiar y laminar los champiñones. Pelar y picar el ajo. Fundir la mantequilla en la sartén apta para horno. Añadir los champiñones, 1 cdta. de sal y 0,5 cdta. de pimienta y cocinar a fuego medio-alto unos 5 minutos. Añadir el ajo y cocinar 2 minutos más.

Espolvorear 15 g de harina y remover para absorber el jugo de los champiñones. Verter el caldo y cocinar a hervor suave 3 minutos. Bajar el fuego, añadir la nata y dejar espesar unos 10 minutos, removiendo de vez en cuando.

Retirar la sartén del fuego. Dividir la cebolla empanada cocida en 4 partes iguales. Mezclar una parte con la salsa y todas las judías y repartir las demás por encima. Hornear unos 15 minutos a 205 °C, hasta que la salsa burbujee por los bordes. Servir caliente como guarnición.