function modifDate(rel) {
	dateSplit = rel.split("/");
	tableMois = new Array("", "janv", "fév", "mars", "avril", "mai", "juin", "juil", "août", "sept", "oct", "nov", "déc");
	var dateMois = dateSplit[1];
	if (dateMois.indexOf("0") == 0) {
		dateMois=dateMois.substring(1);
	}
	document.write('<span class="date_jour">'+dateSplit[0]+'</span><br/>'+tableMois[dateMois]);
}