Théorie algorithmique des nombres et équations diophantiennes