pour se faire une idée des progrès accomplis par les marins et leurs drôles de machines il suffit de se souvenir que le mur des quatre-vingts jours à la voile autour du monde n' est tombé qu' en mille neuf cent quatre-vingt-treize