théorème des segments emboîtés