— Hugo Grotius ( de Groot ).