[encyclopedias/tje/p/peter-of-auvergne]