Ricardinus, active 15th century, alias Richard Pluto ?