Compendium elegantiarum Laurentii Vallae.