Antes de quedar con el nombre definitivo de Pedrosillo el Ralo.