Judías verdes con champiñones

Ingredientes ( 4 personas )

1 Kilo de judías verdes.
2 Cebolletas.
4 Tomates maduros.
250 Gramos de champiñones.
2 Dientes de ajo.
2 Decilitros de aceite de oliva.
Sal.

Preparación:
- - - - - - - - - - - -
Cocemos la judías verdes, en una olla a presión, junto
con las cebolletas peladas y enteras, 1 chorrillo
de aceite, y un poquito de sal.
Los champiñones los rehogamos, en una sartén, con
aceite de oliva, los ajos picados, y un poco de sal.
Por último, trituramos la cebolla y los tomates, los
rehogamos en una sartén con aceite de oliva, y cuando
haya reducido, añadimos esta salsa a las judías
verdes y a los champiñones.
Damos un hervor a todo el conjunto.
Ponemos a punto de sal.