analyse diophantienne