formatDate($fin_)

/**
* formatDate()
* transforme un timestamp(14) en date formatée pour l'interface (au format jj / mm / aaaa)
* @param $fin_ string MySQL datetime
* @return string
**/
function formatDate($fin_) {
ereg("^([0-9]{4})([0-9]{2})([0-9]{2}).*",$fin_,$regs);
$mois_=sprintf("%02d",$regs[2]);
$jour_=sprintf("%02d",$regs[3]);
$annee_=$regs[1];
$date=$jour_." / ".$mois_." / ".$annee_;

return $date;
}