Changement de noms (bâtiments) dans le fichier config_id.php.