Glossaire nautique, Auguste Jal · Super Livre