A formula for the entropy of the convolution of Gibbs probabilities on the circle. (8th June 2018)