Théorème de Pascal (par le birapport)

Soit $\varphi$ une homographie de $P^1(K)$ qui n'est pas l'identité. Il y a équivalence entre\r\r$\varphi$ est une involution\r\r$\varphi$ est de trace nulle\r\rIl existe $p \in P^1(K)$ tel que $\varphi(p) \ot= p$ et $\varphi^2(p) = p$.