In solemnitate Divi Antonii Lusitani cognomento de Padua