.
roulette strategie transversale simple jcoq