Quelques modifications du PHP dans le fichier index.php.