Déjà tu navigues avec un terminal vers le dossier où tu as l'exe.
Puis tu fais "mono <nom de l'exécutable>.exe"