Eugène Thomas : la carrière d’un marin