Afficher la date du log en y intégrant clairement l'année: c'est plus lisible.

ecrire/inc/log.php

@@ -59,7 +59,7 @@ function inc_log_dist($message, $logname=NULL, $logdir=NULL, $logsuf=NULL) {
 		$debugverb = "$fi:L$l:$fu"."():";
 	}
 
-	$m = date("M d H:i:s").' '. (isset($GLOBALS['ip']) ? $GLOBALS['ip'] : '') .' '.$pid.' '
+	$m = date("Y-m-d H:i:s").' '. (isset($GLOBALS['ip']) ? $GLOBALS['ip'] : '') .' '.$pid.' '
 	  //distinguer les logs prives et publics dans les grep
 		. $debugverb
 		. (test_espace_prive()?':Pri:':':Pub:')