Atrio de la iglesia de San Miguel, VILLAMANTILLA