Theorème de Delmot-Lacèr

On détermine la probabilité qu'une matrice choisie dans Mn(K) admette une décomposition polaire unique. Développement réalisable uniquement en police 55 sur un tableau à craie.