1 -- | Tirage au sort équiprobable par aléa publiquement vérifiable.
3 ( module Relotophile.Bits
4 , module Relotophile.Combin
5 , module Relotophile.Sequence
6 , module Relotophile.Draw
7 , module Relotophile.Random
10 import Relotophile.Bits
11 import Relotophile.Combin
12 import Relotophile.Sequence
13 import Relotophile.Draw
14 import Relotophile.Random