Eran cerca de las diez, y se pusieron a almorzar en un rincón fresco, antes de volver al trabajo y comenzar a sudar de nuevo.