casinobyggnaden i Biarritz ; skadan uppskattas till 700,000 francs.