Lapurdi. La roca horadada de Biarritz, según grabado del s. XIX