What you can always do is declare your own locale:
import times
let fr = DateTimeLocale(
MMM: ["Jan", "Fev", "Mar", "Apr", "Mai", "Jun", "Jul", "Aug", "Sep",
"Oct",
"Nov", "Dec"],
MMMM: ["Janvier", "Fevrier", "Mars", "Avril", "Mai", "Juin", "Juillet",
"Août", "Septembre", "Octobre", "Novembre", "Décembre"],
ddd: ["Lun", "Mar", "Mer", "Jeu", "Ven", "Sam", "Dim"],
dddd: ["Lundi", "Mardi", "Mercredi", "Jeudi", "Vendredi", "Samedi",
"Dimanche"])
echo format(now(), "dddd : MMM [ YYYY ]", fr)
Run
-> **Lundi : Mar [ 2020 ]**
