Describir: Rey y reyes en la eclesiología monástica carolingia de Haimón de Auxerre