El lavado de la arena de piedra arenisca roja que hace la piedra de cantera