en pension på 20,000 franos.