Théorème de prolongement de Tietze