Juste une question bête :

The main new features from PedroM 0.81 are:
+ bugs fixed : more application can be run,
+ new system variables :
+ new command : printf
+ a new build system based on Unix Makefile and on ld-tigcc which provides a huge level of flexibility (allowing more developers to join and integration of Unix like libraries),
+ (optional) integration of the GMP( http://gmplib.org), MPFR (http://www.mpfr.org) and MAYLIB (a custom made library) which helps PedroM to provide a symbolic engine.

PedroM 0.81 ou 0.82 ?