Copy of Théorème du toit