El nombre de la Rosa, la abadía de San Miguel