démonstration formelle