démonstration en analyse