Thomasius, Michael called Taxaquetius, Bp. of Lerida