L'origine du prénom de Noël Mamère, né un 25 décembre