$href = extraire_attribut($ref, 'href');
+			$href = spip2latex_escape_latex0($href);
-			$href = str_replace('#', '@\\#', $href);