simplification du logarithme népérien d'une racine carrée
Exprimer `10*ln(sqrt(2))` en fonction de ln(2)
Rappel de cours : Fonctions numériques