#include <stdio.h>
#include <time.h>
#include <locale.h>

int main() {
char ch[80+1], * pcloc;
struct tm * pdh; time_t intps;
intps=time(NULL); pdh = localtime(&intps);
pcloc = setlocale( LC_TIME, "fr_FR");
strftime( ch, 81, "%b %d %H:%M:%S ", pdh);
printf("%s\n",ch);

return 0;
}