1. Remarque : dans le cas non commutatif, il faut effectivement construire M comme le bi-commutant A′′ de A (qui, dans le cas non commutatif, diffère du commutant A.)