Dictionnaire de la marine, Étienne Taillemite · Super Livre