San José de la Dormida: un pueblo de origen sanavirón.