(def cas_repetition
   cas4 ({[cas (2)]     [ordre (1 4 2 3)] [odm odm4]})
   cas5 ({[cas (2)]     [ordre (1 2 3 4 5)] [odm odm5]})
   cas6 ({[cas (2 1)]   [ordre (1 2 3 4 5 6)] [odm odm6]}
         {[cas (2 2 1)] [ordre (1 2 4 5 3 6)] [odm odm6]}
         {[cas (2 2 2)] [ordre (1 2 3 4 5 6)] [odm odm61] [special vrai]}
         {[cas (3)]     [ordre (1 2 3 4 5 6)] [odm odm6]}
         {[cas (4)]     [ordre (1 2 3 4 5 6)] [odm odm62] [special vrai]})
   cas7 ({[cas (2 1)]   [ordre (1 4 2 3 5 6 7)] [odm odm7]}
         {[cas (2 2 1)] [ordre (1 4 2 5 3 6 7)] [odm odm7]}
         {[cas (2 2 2)] [ordre (1 4 2 5 3 6 7)] [odm odm7]}
         {[cas (3 1)]   [ordre (1 2 3 4 5 6 7)] [odm odm71] [special vrai]}
         {[cas (3 2)]   [ordre (1 2 3 4 5 6 7)] [odm odm71] [special vrai]}
         {[cas (4 1)]   [ordre (1 2 3 4 6 7 5)] [odm odm71] [special vrai]}
         {[cas (4 2)]   [ordre (1 2 3 4 6 7 5)] [odm odm71] [special vrai]})
   cas8 ({[cas (2 1)]   [ordre (2 3 1 5 4 7 6 8)] [odm odm8]}
         {[cas (2 2 1)] [ordre (2 3 1 5 4 7 6 8)] [odm odm8]}
         {[cas (2 2 2)] [ordre (2 3 1 5 4 7 6 8)] [odm odm8]}
         {[cas (3 1)]   [ordre (1 2 5 4 7 6 8 3)] [odm odm8]}
         {[cas (3 2 1)] [ordre (1 2 5 4 7 6 8 3)] [odm odm8]}
         {[cas (3 2 2)] [ordre (1 2 5 4 7 6 8 3)] [odm odm8]}
         {[cas (3 3)]   [ordre (1 2 5 6 7 8 3 4)] [odm odm8]}
         {[cas (4 1)]   [ordre (1 2 5 4 6 8 3 7)] [odm odm8]}
         {[cas (4 2)]   [ordre (1 2 5 4 6 8 3 7)] [odm odm8]})
)

(def ordre_des_matches
   odm4  (1 4 2 3 1 3 2 4 3 4 1 2)
   odm5  (1 2 3 4 5 1 2 3 5 4 1 3 2 5 4 1 3 5 4 2)
   odm6  (1 2 4 5 2 3 5 6 3 1 6 4 2 5 1 4 5 3 1 6 4 2 3 6 5 1 3 4 6 2)
   odm61 (1 4 2 5 3 6 5 1 4 2 3 1 6 2 5 3 6 4 1 2 3 4 5 6 2 3 1 6 4 5)
   odm62 (3 1 4 2 1 4 2 3 5 6 1 2 3 4 1 6 2 5 3 6 4 5 6 2 5 1 6 4 5 3)
   odm7  (1 4 2 5 3 6 7 1 5 4 2 3 6 7 5 1 4 3 6 2 5 7 3 1 4 6 7 2 3 5 1 6 2 4 7 3 6 5 1 2 4 7)
   odm71 (1 2 4 5 6 7 3 1 4 7 2 3 5 1 6 2 3 4 7 5 1 6 4 2 7 3 5 6 1 4 2 7 5 3 6 4 7 1 2 5 3 6)
   odm8  (2 3 1 5 7 4 6 8 1 2 3 4 5 6 8 7 4 1 5 2 8 3 6 7 4 2 8 1 7 5
         3 6 2 8 5 4 6 1 3 7 4 8 2 6 3 5 1 7 4 6 8 5 7 2 1 3)
   odm9  (1 9 2 8 3 7 4 6 1 5 2 9 8 3 7 4 6 5 1 2 9 3 8 4 7 5 6 1 3 2 9 4 5 8 7 6 3 1 2 4 5 9 
         8 6 7 1 4 3 5 2 6 9 8 7 4 1 5 3 6 2 9 7 1 8 4 5 3 6 2 7 9 8)
   odm10  (1 6 2 7 3 8 4 9 5 10 7 1 8 2 9 3 10 4 6 5 1 8 2 9 3 10 4 6 5 7 9 1 10 2 6 3 7 4 8 5 
          10 1 2 6 3 7 4 8 9 5 1 2 3 4 6 7 8 9 5 1 2 3 6 10 7 8 4 5 10 9 3 1 2 4 6 8 7 9 5 2 8 10 1 4 5 3 9 6 7 10)
 )

