la partie entiere de pi ?