Décomposition polaire d un opérateur