(PHP 3, PHP 4 >= 4.0.0)
double pi (void)
double pi
pi() retourne la valeur de pi.
<?php echo pi(); // 3.1415926535898 ?>