Dictionnaire de la marine — Étienne Taillemite