démonstration par exhaustivité