théorème de Davenport-Cassels