var listetitres3 = document.getElementsByTagName("h3");

if (listetitres3.length == 0){
	document.getElementById("sommaire_article_cadre").style.display = "none";
} else {
	var sortie = "<ul class='spip'>";
	
	for(a=0;a<listetitres3.length;a++) {
		var letitre = listetitres3[a];
		var texttitre = letitre.innerHTML;
		var idtitre = texttitre.replace(/\W/gi, "");
		letitre.id = idtitre;
		sortie += "<li class='spip'><a href='#"+idtitre+"'>"+texttitre+"</a></li>";
	}
	sortie += "</ul>";
	
	document.getElementById("sommaire_article").innerHTML = sortie;
}