bar han rätt till 3,900 francs i pension.