4.241

Si j’utilise deux signes pour une même signification, j’exprime ceci en posant entre les deux le signe « = ».