Les solutions de ton équadiff sont les fonctions x->exp(-x)[K+S(ln(t).exp(-t)dt)] où l'intégrale est entre 0 et x.
Tu peux étudier le comportement asymptotique de cette fonction selon les valeurs de K pour voir s'il peut en exister des bornées. Tu devrais réussir à montrer qu'il n'y a qu'une valeur de K qui convient et qu'elle vaut -S(ln(t)exp(-t)dt) entre 0 et +oo.