IRCANTEC

Bonjour, mon mari fait son dossier de retraite, il a fait 3 ans dans la marine nationale comme engagé, il ne sait pas s'il a cotisé à l'ircantec, (étant depuis dans la fonction publique ces 3 années ont été reprises dans le décompte des trimestres, mais il ne sait pas s'il lui faut faire des démarches auprès de l'ircantec)
Merci de nous aider