diff --git a/ecrire/public/references.php b/ecrire/public/references.php
index 28a5414eb2e5000bc5109681ff4117ba99ca7443..3b1282b11e39a8a1d38ab857d0d12510653b7776 100644
--- a/ecrire/public/references.php
+++ b/ecrire/public/references.php
@@ -101,7 +101,7 @@ function description_type_requete($type, $serveur) {
 }
 
 function index_tables_en_pile($idb, $nom_champ, &$boucles) {
-	global $exceptions_des_tables;
+	global $exceptions_des_tables, $tables_des_serveurs_sql;
 
 	$r = $boucles[$idb]->type_requete;
 	$s = $boucles[$idb]->sql_serveur;