Title: Calculabilité et décidabilité