problème calculable