Héros et martyrs — Denis Diderot