Thomas, the tailor, fl. 13th century.