Théorème d'insertion de Katětov-Tong