ripio: piedra para tapar un hueco.