Goigs de sant Ildefons, la seva festa és el dia 23 de gener