Combien de marins, combien de capitaines…