Hoje é celebrado santo Ildefonso, capelão e fiel notário da Virgem