hade kostat 7,000 francs.