Thales finalise la cession de son activité de GP HSM à Entrust Datacard