Smilog : properties of the logarithms(2)
Information: Smilog : properties of the logarithms(2)