fn day_short(tr: &Translator, day: Date) -> String
“Thu 8 Oct”, “jeu. 8 oct.”: a day as an agenda card names it.