waiting
Le Diko - raisonnement par induction probabiliste complète déductive