«San Ildefonso» té aquests significats: