\begin{definition}
La fonction \MotDefinition{logarithme décimal}{}, notée $\log$, est la fonction définie
sur $\left]  0 \,; +\infty \right[ $, par : 
\[
\log x= \dfrac{\ln x}{\ln 10}.
\] 
\end{definition}

