There were 3 of them ranging from between 500Mb to 700Mb in size.
These ones should be deleted automatically but they were not
If we can know the main archive file name and path, ie, the whole path of the *.zip or *.rar file that, when unpacked by avast to scan, were not deleted...
Never mind. If in the future you find such big files, please, keep the name of them