A logarithmic Sobolev inequality for the invariant measure of the periodic Korteweg–de Vries equation