+
+function lister_toutes_tables($serveur){
+ static $tables = array();
+ if (!isset($tables[$serveur])){
+ $tables[$serveur] = array();
+ if (!function_exists("sql_alltable"))
+ include_spip("base/abstract_sql");
+ $ts = sql_alltable('%',$serveur); // toutes les tables
+ foreach ($ts as $t){
+ $tables[$serveur][$t] = $t;
+ }
+ }
+ return $tables[$serveur];
+}