IIA example

choix-social-intro/main.typ

@@ -137,6 +137,14 @@ _indifférent_ à $x$ et $y$.
 	préférée est ou bien $x$, ou bien $y$ (et pas une autre).
 ] <independance-irrelevance>
 
+#example[Sidney commande un dessert][
+	Sidney Morgenbesser, commandant un dessert, se fait dire par læ serveureuse qu'il
+	a le choix entre la tarte aux myrtilles ou la tarte aux pommes. Il commande
+	celle aux pommes. Læ serveureuse revient et explique qu'une tarte aux cerise est
+	aussi disponible. Morgenbesser répond "Dans ce cas, je vais prendre celle aux
+	myrtilles".
+]
+
 #definition[Non dictature][
 	Il n'existe pas d'individu qui détermine à lui seul l'issue du vote.
 ] <non-dictatorship>