Notes of Nathan Penton's lecture on the proof of the Hodge theorem