version of Patrice Koehl's Pocket under LGPL