comment simplifier ceci ?: 12! / (8! * 4!)