I knew this, but my problem is: Thomson do not
exists as a manufacturer for TV! Do I choose "Other"
as the manufacturer??
Yes, it does! I found it exactly the same way I mentioned before! But I'm pretty sure you can select "other", because I don't think it's going to make a big difference since you're going to have most likely to digitize most of your remote's commands to characterize the device accuratly!
3) In your case since you have to handle less than 100 channels I would certainly choose option b) and hope that it works!
Hope that helps!