[Rough Rock 023] pi mathématiques symbole