In this talk, we will present the classical construction of Safra, which transforms non-deterministic Büchi automata to deterministic Rabin automata. We will adopt the point of view of modern presentations of this result (in particular of Schewe), and cover the lower bound results.