Vingt mille lieues sous les mers, Jules Verne