The source code has been reviewed; some remarks have been put.