La journée mondiale de pi serait décrété