Qu’est-ce qu’un « vrai marin » ? La longue fabrique d’une figure idéalisée entre terre et mer