Est-ce la valeur numérique de Pi, 3,14 ?