waiting
Le Diko - raisonnement d�ductif par r�futation