Histoire mondiale de la marine — Jean Savant, Pierre Barjot