édaction d'une démonstration