Procesión de San Ildefonso, Patrón de Mairena Alj.