Coming back very late again here: in the end I didn’t install TextSecure, because this would have obliged me to register into a third-party service.
Instead, I installed an open-source app found on F-Droid, named SMSdroid, that just replaces the Google one and works perfectly.
Before coming back I tested it at length, it just works, in perfect relation with e. g. the addressbook etc.