Propriété de la fonction ln