Décomposition polaire d un opérateur (suite)