That's my point, sorry if it wasn't clear. Non-transitivity is resolved procedurally. We can theorize about Arrow all we want; in the meantime we can write rules that actually do produce electoral results.
My point is that it wasn't resolved: Jospin was the favorite, but the French were forced to choose between two candidates the majority of them loathed. The rules were a failure.
(2002 election, not 1995 - my bad)
https://en.wikipedia.org/wiki/2002_French_presidential_elect...