Les Marines de la guerre d'indépendance américaine (1763 -1783) Olivier Chaline, Philippe Bonnichon, Charles-Philippe de Vergennes