HelloWorld.php: rename DB to personnages