Use strftime() instead of date_format()

This allow to display dates in other languages.
It requires to specify which language to use, with `setlocale()`.