Notice on the short work of Ildefonsus — Jean Mabillon