En todo caso, no podemos olvidar que San Antolín no figurará en el santoral español.