Pudim de brócolis

Ingredientes

• 1 maço de brócolis
• 1 cebola pequena ralada
• 4 colheres de sopa de margarina
• 8 colheres de sopa de farinha de trigo
• 1 xícara de leite
• sal à gosto
• 1/2 xícara de queijo prato ralado
• 1/2 xícara de mozarela ralada
• 6 ovos
• 2 colheres de sopa de água
• bastante margarina para untar e farinha de trigo para polvilhar