13eme mois en cas de démission ?

Bonsoir,
je suis nouvelle ici et je vois qu'il y a beaucoup d'entre vous qui sont bien "calés".
J'aurai une petite question : mon conjoint va démissionner au 15 novembre de son entreprise afin de prendre un nouveau poste dans une nouvelle entreprise au premier décembre. Il a d'habitude toujours le 13eme mois, cependant ce n'est pas notifié sur son contrat car quand il est rentré en 2008 il n'y avait pas de 13eme mois puis l'entreprise est rentré dans un "groupe" en 2010 et à partir de ce moment là ils y ont eu le droit. Sur ses fiches de paye de décembre il y est notifié "13eme mois" et non "prime exceptionnelle" ou tout autre mention.
D'après vous, son entreprise qu'il va quitter doit elle lui verser le 13eme mois de cette année dans son solde de tout compte évidement au prorata ? Ou il n'en verra pas la couleur ? Il est électricien en bâtiment donc c'est la convention collective du bâtiment.
Si quelqu'un pouvait nous éclairer ça serait vraiment super.
En vous remerciant.