Mini commit, fix d'un petit bug dans install.php