Keireddine is also spelled Kheireddine.