Corrections concernant le menu de base, et rajout des parametres de la base de dev dans param.inc.php.dist