  We present the proof of Berger and Turaev of Herman's positive entropy
conjecture. In every neighbourhood of identity in the set of smooth symplectic
diffeomorphisms of the 2-dimensional disc, there exists a diffeomorphism with
positive metric entropy.
