Iglesia gótica de San Miguel, IBDES