La méthode file.delete( ) supprime le fichier. 
 Si le fichier est ouvert, une erreur est générée. 
 Si le fichier n'existe pas sur disque, la méthode ne fait rien (aucune erreur n'est générée).
 ATTENTION : file.delete( ) peut supprimer n'importe quel fichier sur un disque, y compris les documents créés avec d'autres applications ainsi que les applications elles-mêmes. file.delete( ) doit être utilisé avec beaucoup de précaution. La suppression d'un fichier est une opération permanente et irréversible.
  
Vous souhaitez supprimer un fichier spécifique dans un dossier de base de données :
  $tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
 If($tempo.exists)
    $tempo.delete()
    ALERT("Fichier des préférences de l'utilisateur supprimé.")
 End if