For graduate students familiar with low-dimensional topology and researchers in geometry and topology, Otal (CNRS-UMR 128, Lyon) offers a complete proof of Thurston's hyperbolization theorem for 3-manifolds that fiber as surface bundles.