Lettera del consumatore

Buongiorno, Mio padre e' un pensionato e paga naturalmente le tasse su quanto percepisce e sulla pensione ricevuta. Detto questo parte percepisce anche una pensione dallo stato francese per gli anni lavorati appunto in Francia. Mi chiedevo, in sede di dichiarazione dei redditi, come fara' mio padre ad usufruire del credito d'imposta su questa pensione. Immagino che la previdenza francese eroghi a mio padre una pensione gia' tassata, ragion per cui dovrebbe forse avere un qualche documento che attesti tale tassazione da far valere, quindi, in Italia per l'eventuale credito d'imposta. Ditemi, per favore, se sbaglio, e in tal caso (se non sbaglio) di quale documentazione avrei bisogno? ("UN CUD ALLA FRANCESE"? o lo stato italiano fa richiesta di una particolare documentazione?). Saluti.
Vincenzo, da Roma