codice:
setlocale (LC_TIME,"en_En");
strftime("%a d% %b %Y",time());
ciao