Pas à pas : Propriétés algébriques de la fonction logarithme népérien