A combien s'élève la prime de Noël 2023, et comment la toucher ?