Un murmullo partió del grupo de obreros que rodeaban el borde del pique y algunas carcajadas comprimidas estallaron.