Le but de la question est de trouver une condition nécessaire et suffisante, la plus simple possible, pour qu'une matrice soit dans .