Top 10 des meilleurs noms de bateaux, l’humour en mer