A Symbolic Approach for Counterfactual Explanations-Ryma Boumazouza, Fahima Cheikh-Alili, Bertrand Mazure and Karim Tabia