5.533 Le signe d'égalité n'est donc pas un élément essentiel de l'idéographie.