Copie de jugement de divorce

Mon fils, Français, s'est marié à Marseille avec une Française. Ils se sont installés au Maroc, à Rabat. Puis quelques années après ont divorcé, à Rabat donc. Mon fils à reçu de Nantes un courrier l'avisant que le divorce était enregistré. Il lui a été dit que la Mairie de Marseille devait aussi être en possession d'une copie de l'acte. Mon fils me charge de vérifier cette information et lde ui procurer une copie de cet acte. Est-ce faisable ? Où aller ?