Drôle de marine, fière marine ! — Étienne Devailly