Mot-clé: Clue Driven Deduction