équation diophantienne