function mois_court($numdate){
	$tableau_mois = array (
	"01"=>"Janv",
	"02"=>"Fév",
	"03"=>"Mars",
	"04"=>"Avril",
	"05"=>"Mai",
	"06"=>"Juin",
	"07"=>"Juil",
	"08"=>"Aout",
	"09"=>"Sept",
	"10"=>"Oct",
	"11"=>"Nov",
	"12"=>"Dec"
	);
	return $tableau_mois[affdate_base($numdate, 'mois')];
}