Le problème, c'est que ce fichier est de type indéterminé. Tu nous parles d'un programme (il devrait alors avoir l'extension .app si tant est qu'elle soit visible), mais le type .bin indique plutôt un contenu de donnée binaire, alors que VLC Mediaplayer lit des fichiers audio et vidéo.
Avant tout opération, il faudrait déjà tirer les choses au clair : qu'as tu souhaité télécharger, où, comment, etc. S'il s'agit vraiment d'un fichier de média lisible par VLC, le plus simple est de sélectionner ton fichier puis faire un Ouvrir avec (menu Fichier ou clic droit) puis sélectionner VLC (s'il est installé
. Laisse tomber l'Utilitaire disque, notre ami whereis (au pseudo excellent au demeurant
) divague
Mais honnêtement, je tique sur l'extension .bin, qui veut tout dire et rien dire. Limite s'il n'est pas suspect :mouais: (ne panique pas pour autant, hein
)