On the tiny French pension, @JaneJones did write elsewhere there’s a minimum, or basic, which doesn’t seem tiny. I must be misunderstanding, but if not, then taking the French pension might make up for the social taxes otherwise payable without the S1?