Datos oficiales. La construcción creció 6% en octubre, pero emplea a menos gente que en 2011