double égalité de Diophante