Gabber has recently solved basic open problems in ´etale cohomology dating back to SGA 4 and SGA 5, such as the constructibility of direct images of constructible sheaves of torsion prime to the characteristics by morphisms of finite type between excellent schemes. I will give a survey of his results and an outline of the strategy of their proofs.