Encadrement du max sur l'ensemble des matrices de coefficients inférieurs à 1 en norme.
Cas d'atteinte du majorant : les matrices de Hadamard (lorsqu'elles existent).
Une condition nécessaire et une (autre) condition suffisante d'existence des matrices de Hadamard.