Great, thank you very much Shaon !
Hi Apparently you can still get it from WordPress.org : https://wordpress.org/plugins/download-manager/ But I’d like to be sure my problem can’t be solved before rolling back to this version… and having to re-upload all my files to WPDM!!!