Garbanzos gratinados con verduras

Pelamos y picamos la zanahoria, la cebolla, el tomate y el diente de ajo. Quitamos las puntas y hebras laterales a las judías verdes (si las usamos frescas), y las partimos en trozos no muy grandes. Salteamos todas las hortalizas un par de minutos a fuego medio en una sartén con un poco de aceite de oliva. Luego agregamos un vaso de agua, tapamos, y dejamos que se cocinen las verduras salteadas durante 10 minutos a fuego medio. Lavamos y escurrimos los garbanzos en conserva, mezclamos con las hortalizas, rehogamos durante 2 minutos y ponemos a punto de sal. Colocamos los garbanzos con las verduras en una fuente apta para horno (o microondas si tiene grill), espolvoreamos por encima el queso rallado y gratinamos hasta que se dore la superficie.