théorème de prolongement isométrique