Démontrer que les zéros non triviaux de la fonction zêta de Riemann ont tous une partie réelle égale à 1/2.