Le calcul de grandes valeurs de la fonction $\pi(x)$. Talk by Marc Deléglise.