Le brave marin , Chanson populaire.