// Rendre une date (format anglais) en date valide pour un flux RSS

function makeRSSdate($date=NULL){// format DD-MM-YY HH:MM => rfc2822 (rss compatible)
	if ($date){
		date_default_timezone_set('Europe/Paris');
		$time = strtotime($date);
		return date("r", $time);
	}
}