Stuff

function datefr($mask, $time=NULL)
{
	if (!$time) { $time=time(); }
	$date=date($mask, $time);
	$dateEn = array(
		'Monday',
		'Tuesday',
		'Wednesday',
		'Thursday',
		'Friday',
		'Saturday',
		'Sunday',
		
		'Mon',
		'Tue',
		'Wed',
		'Thu',
		'Fri',
		'Sat',
		'Sun',
		
		'January',
		'February',
		'March',
		'April',
		'May',
		'June',
		'July',
		'August',
		'September',
		'October',
		'November',
		'December',
		
		'Feb',
		'Apr',
		'May',
		'Jun',
		'Jul',
		'Aug',
		'Dec');
		
	$dateFr = array(
		'Lundi',
		'Mardi',
		'Mercredi',
		'Jeudi',
		'Vendredi',
		'Samedi',
		'Dimanche',
		
		'Lun',
		'Mar',
		'Mer',
		'Jeu',
		'Ven',
		'Sam',
		'Dim',
		
		'Janvier',
		'Février',
		'Mars',
		'Avril',
		'Mai',
		'Juin',
		'Juillet',
		'Aout',
		'Septembre',
		'Octobre',
		'Novembre',
		'Décembre',
		
		'Fév',
		'Avr',
		'Mai',
		'Juin',
		'Juil',
		'Aout',
		'Déc');
	$date = str_replace($dateEn, $dateFr, $date);
	if (isset($_SERVER['SERVER_SOFTWARE']))
	{
		$date = utf8_encode($date);
	}
	return $date;
}