Théorie algorithmique des nombres et équations diophantiennes — Journées X-UPS (2005)