French income tax on rental property

Hi,

 

French citizen, moved to US some time ago, under green card now.

All my incomes are in US, but I also rent the 2 houses I own in France. So I pay income taxes in France on the rents I receive.

-> Shall I declare it has a Foreign tax credit? In such case what should I provide as gross income in the 1116 (I have already declared my rental incomes in schedule 1 and E, so putting the gross income in the 1116 is doubling these incomes)?

-> Or shall I just add these income taxes to the "other taxes paid" in turbo tax which is going to line 16 on my schedule E? Meaning that line 16 of the schedule E will contain the real estate taxes + income taxes on rents I paid in France. And the amount I shall put into these "other taxes paid" boxes will be a Pro-Rata of the income I received for each house.

 

Many thanks