diff -r 45f6a091ad92 -r ffdfdf0b5d3c web/common.php
--- a/web/common.php	Thu Jul 07 17:53:21 2011 +0200
+++ b/web/common.php	Mon Jul 18 13:39:30 2011 +0200
@@ -12,6 +12,9 @@
 
 
 include_once dirname(__FILE__).'/traduction.php';
+if(isset($config) && isset($config['rep']) && file_exists(dirname(__FILE__).'/'.$config['rep'].'/traduction.php')) {
+	include_once dirname(__FILE__).'/'.$config['rep'].'/traduction.php';
+}
 
 
 /**