Describir: Essai sur le calcul de généralisation