Cheireddine is also spelled Kheireddine.