démonstration probabiliste