Eran cerca de las cuatro: los obreros, en menos de una hora, habían hecho el trabajo de un día: ya debían haber quitado la mitad de las piedras, si no habían caído más del techo.