that is

Dictionnaire

• that is

  das heißt