Title: In memoriam Hugonis Grotii