molino (sustantivo masculino): Edificio que alberga la instalación anterior.