Gibbard's theorem
[fr] Théorème de Gibbard