Title: Punishments inflicted at sea from the earliest times to the end of the XVIIIth century