En mathématiques, les noms sont arbitraires. Libre à chacun d’appeler un opérateur auto-adjoint un “éléphant” et une décomposition spectrale une “trompe”. On peut alors démontrer un théorème suivant lequel “Tout éléphant a une trompe.” Mais on n’a pas le droit de laisser croire que ce résultat a quelque chose à voir avec de gros animaux gris.