Delete historique.php