1 definition by Judius Payet