[Rough Rock 012] pi mathématiques symbole