Pietro di Versi, Raxion de' marineri : taccuino nautico del XV secolo /