Équations diophantiennes