‘Veranillo de San Miguel’ (también conocido como veranillo del membrillo