Ingredientes del gratinado de brócoli

Ingredientes

• 1 brócoli de cabeza grande, cortado en floretes.
• 6 cucharadas de mantequilla, divididas.
• ½ taza de harina para todo uso.
• 1 ½ tazas de leche.
• 1 ½ tazas de queso cheddar rallado.
• ½ cucharadita de sal o al gusto.
• ½ cucharadita de pimienta negra molida.
• 1 pizca de ajo en polvo.