Thanks for the idea. I’m pretty sure it was 64-bit.
Bottom line : I was looking for an easy -to -install and maintain option, and this isn’t it for me. I have decided to use Zorin instead of Mint and was able to (rather easily) set up its built-in desktop sharing.