Cangrejo Imperial con ingredientes de pimiento rojo

Ingredientes

• 1 barra de mantequilla sin sal: 6 cucharadas derretidas, y más para engrasar.
• 2 cucharadas de harina para todo uso.
• 1 1/2 tazas de leche.
• Sal.
• Pimienta recién molida.
• 1 cucharada de aceite de oliva extra virgen.
• 1 cebolla pequeña, finamente picada.
• 1/2 pimiento rojo, cortado en dados de 1/4 de pulgada.