Gozos de san Ildefonso, la seva festa és el dia 23 de gener