Quelques exemples d'activités du type "démontrer que"