infi-lib
http://infi-lib.fr