Esta es la definición de Diderot: