En la olla, echamos un chorrito de aceite, la cebolla muy picada, la zanahoria cortada en rodajas finas, el pimiento rojo en trozos pequeños y una cucharada de pimentón.

Sofreímos durante 10 minutos para que se mezclen bien los sabores y retiramos.

Añadimos los garbanzos, los ajos, el laurel, las setas en trocitos, la sal y un litro de agua aproximadamente, lo dejamos cocer unos 20 minutos.

Destapamos, comprobamos el caldo y la sal, rectificamos si hace falta y lo volvemos a dejar cociendo con la olla destapada otros 10 minutos.