million francs , inbegripet statens anslag af 200,000 och staden Paris ’ af 25,000 francs.