Brócolos gratinados

Ingredientes

• 400 gr de brócolos
• 0,5 l de água
• 1 colher (sopa) de manteiga
• 1 colher (sopa) de farinha
• 50 gr de cogumelos laminados
• 1 caldo de galinha
• 50 gr de queijo em tirinhas
• Sal para temperar
• Manteiga para untar q.b.