Tortilla z červené čočky