Thanks for the detailed reply. The treaty concerned is here. I believe only Article 18.1 and 19.2a are applicable in my case. This does not seem to override IRC 861-865, and hence form 8833 should not be needed in my case. In my initial tax return, I declared my french pension as "other income" and it shows up on line 8z of Schedule 1. I incorrectly paid the US tax. Meanwhile, I have now declared the income to the French tax system and will need to amend my IRS return by correcting form 1116. Is it correct that the french pension should appear on line 3b? Your insight is much appreciated!
