Propriété logarithme népérien