(vraiment) supprimer un document
Quand on supprime un doc, seul son lien est supprimé de la base ; le fichier reste donc en place et son entrée dans spip_documents aussi (donc il reste public dans une boucle DOCUMENTS
C'était censé n'être que temporaire, mais il ne faut pas oublier de réparer !