I ended up installing it on my Raspbian system: I installed the media build from CrazyCat and the Stick is finally recognized by my Linux! I still do have a problem: TVHeadend doesn't detect my T230C stick.
Let's start with dmesg:
[ 7.376640] dvb-usb: found a 'Mygica T230C DVB-T/T2/C' in warm state.
[ 7.624033] dvb-usb: will pass the complete MPEG2 transport stream to the software demuxer.
[ 7.624255] DVB: registering new adapter (Mygica T230C DVB-T/T2/C)
[ 7.624290] usb 1-1.5: media controller created
[ 7.632782] dvb_create_media_entity: media entity 'dvb-demux' registered.
[ 7.664157] i2c i2c-3: Added multiplexed i2c bus 4
[ 7.664192] si2168 3-0064: Silicon Labs Si2168-D60 successfully identified
[ 7.664211] si2168 3-0064: firmware version: D 6.0.1
[ 7.671857] dvb-usb: no frontend was attached by 'Mygica T230C DVB-T/T2/C'
[ 7.672603] input: IR-receiver inside an USB DVB receiver as /devices/platform/soc/3f980000.usb/usb1/1-1/1-1.5/input/input0
[ 7.672640] dvb-usb: schedule remote query interval to 100 msecs.
[ 7.672770] dvb-usb: Mygica T230C DVB-T/T2/C successfully initialized and connected.
[ 7.672964] usbcore: registered new interface driver dvb_usb_cxusb
[ 8.499721] Adding 102396k swap on /var/swap. Priority:-1 extents:1 across:102396k SSFS
[ 8.512050] cfg80211: World regulatory domain updated:
[ 8.512091] cfg80211: DFS Master region: unset
[ 8.512105] cfg80211: (start_freq - end_freq
bandwidth), (max_antenna_gain, max_eirp), (dfs_cac_time)
[ 8.512133] cfg80211: (2402000 KHz - 2472000 KHz
40000 KHz), (N/A, 2000 mBm), (N/A)
[ 8.512161] cfg80211: (2457000 KHz - 2482000 KHz
40000 KHz), (N/A, 2000 mBm), (N/A)
[ 8.512186] cfg80211: (2474000 KHz - 2494000 KHz
20000 KHz), (N/A, 2000 mBm), (N/A)
[ 8.512213] cfg80211: (5170000 KHz - 5250000 KHz
80000 KHz, 160000 KHz AUTO), (N/A, 2000 mBm), (N/A)
[ 8.512227] cfg80211: (5250000 KHz - 5330000 KHz
80000 KHz, 160000 KHz AUTO), (N/A, 2000 mBm), (0 s)
[ 8.512241] cfg80211: (5490000 KHz - 5730000 KHz
160000 KHz), (N/A, 2000 mBm), (0 s)
[ 8.512252] cfg80211: (5735000 KHz - 5835000 KHz
80000 KHz), (N/A, 2000 mBm), (N/A)
[ 8.512285] cfg80211: (57240000 KHz - 63720000 KHz
2160000 KHz), (N/A, 0 mBm), (N/A)
@
but then when i go on the web interface of TVHeadend Configuration-DVB Inputs-TV Adapters the list is empty :-( What am I missing now? By the way, HTS Tvheadend 4.0.8~jessie
Thanks again!