Si ese Robledo (cosa que no está clara) fuese el Robrediello histórico, es la única ocasión en que así se le denomina en documentación antigua.