Polyen. Extraits concernant la guerre sur mer. - Budé, G. de (1958)