Définitionsréacteur de démonstration