läggas 8,000 och pä Porto-Rico 4000 Fransmän,