Kheiredine is also spelled Kheireddine.