--- /dev/null
+<?php
+require_once( __DIR__."/../init.php");
+require_once(__DIR__."/../lib/dbupdate/DatabaseUpdate.class.php");
+
+$databaseUpdate = new DatabaseUpdate(false,$sqlQuery);
+$databaseUpdate->writeDefinition(DATABASE_FILE,__DIR__."/allo_serveur.sql");
+