[opencms-dev] Hard to delete

[Francis]

I'm trying to delete 3 pdf files from my folder 
/system/galleries/download/Documentsqualite/.

Action as Admin on the files in the explorer :

lock -> delete -> unlock  -> "redflag" -> publish directly -> "grey flag 
" state=deleted
The 3 files are marked deleted and barred.

relock -> "redflag" -> publish directly -> state=unchanged
The file is OK

How to delete definitively this files?

Francis