armilustre (N) — armilustrie (N)
armilustre : Jour de fête romain, dix-neuvième jour du mois d'octobre, durant lequel se déroulait l'armilustrie.