Preliminaries.- Souslin's hypothesis.- The combinatorial property ?.- Homogeneous souslin trees and lines.- Rigid souslin trees and lines.- Martin's axiom and the consistency of SH.- Towards con(ZFC+CH+SH) : A false start.- Iterated forcing Jensen style.- How Jensen killed a souslin tree.- Con(ZF) ? Con(ZFC+GCH+SH).