hypothese et inequation

[alb]

assume(a>0);solve(1-ln(a)<0,a) // renvoie la liste vide
purge(a);solve(1-ln(a)<0,a) // ok

[parisse]

Vu, je fais pour le moment une correction sans doute partielle dans le source.