Tanaka formula for the fractional Brownian motion · Study