Change of variable formula for local time of continuous semimartingale

In this paper we generalize a representation formula for the local time of a function of a semimartingale due to Coquet and Ouknine \cite{Ouknine} , our formula being a pointwise equality between two processes we show in addition that the equality is in fact trajectorial, finally we give an application in mathematical finance.