That is to say
that is to say
c'est-à-dire préposition et autre
Exemple d'usage de that is to say
In the propositional interpretation, a ⇔ b means that a implies b and b implies a; in other words, that the propositions are equivalent,
that is to say, ...
(Crédit : Wikipedia)