Pour éviter une "division par zéro" (???)

c'est probablement une erreur de casting ?

inc-stats.php3

@@ -113,7 +113,9 @@ function afficher_raccourci_stats($id_article) {
 	$result = spip_query($query);
 	if ($row = mysql_fetch_array($result)) {
 		$visites = intval($row['visites']);
-		$popularite = ceil(min(100,100 * $row['popularite'] / max(1,(double) lire_meta('popularite_max'))));
+		$popmax = lire_meta('popularite_max');
+		settype($popmax, 'double');
+		$popularite = ceil(min(100,100 * $row['popularite'] / max(1.0,$popmax)));
 
 		if ($visites > 0) bouton_admin("Evolution des visites", "./ecrire/statistiques_visites.php3?id_article=$id_article");