Suppression du fichier de surcharge Tools.php