Calculabilité et décidabilité — Jean-Michel Autebert