Obtenir la double nationalité franco - portugaise

bonjour, 

les parents de mon mari sont immigrés portugais, tous les deux de nationalité portugaise mais vivent en France puis plus de 45 ans

Mon mari est né en France ( Essonne ). A ses 17 il a reçu un courrier afin de faire le choix de sa nationalité à sa majorité . soit française, soit portugaise  ( la reconnaissance de sa naissance avait été faite via préfecture là bas aussi ), soit la double nationalité. A l'époque il a choisi de ne garder que la nationalité portugaise . Il a toujours vécu en France depuis sa naissance, y a fait ses études, y a toujours travaillé et s'est marié . 

Aujourd'hui il souhaiterait pouvoir faire la demande et avoir la double nationalité . quelle est la démarche à suivre pour cela ? 

merci pour votre aide